TransitivityException

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