deduce_equal_or_not

proveit.logic.deduce_equal_or_not(lhs, rhs, \*\*defaults_config)[source]

Prove and return that lhs=rhs or lhs≠rhs or raise an UnsatisfiedPrerequisites or NotImplementedError if neither of these is readily known.

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.