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.