as_expression

proveit.as_expression(truth_or_expression)[source]

Return the argument as Expressions. That is, if the argument is the Judgment, yield its associated Expression. If it is an Expression, yield just that. Otherwise, raise a TypeError.