ModusPonensFailure

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