Distinct¶
-
class
proveit.logic.
Distinct
(*elements, styles=None)[source]¶ Bases:
proveit.Function
The Distinct operation defines a property for any collection. It evaluates to True iff the elements are all unique; that is, any pair of the given elements are not equal to each other.