GeneralizationFailure

exception proveit.GeneralizationFailure(expr, assumptions, message)[source]