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.