negated

proveit.numbers.negated(expr)[source]

Returns the negated form of this expression. If the original is a Neg expression, return its operand (accounting for the double-negation); otherwise, return the Neg of the original.