Card¶
-
class
proveit.logic.
Card
(domain, *, styles=None)[source]¶ Bases:
proveit.Function
Methods Summary
distinct_subset_existence
(self, elems, …)Assuming the cardinality of the domain can be proven to be >= 2, proves and returns that there exists distinct elements in that domain.
latex
(self[, fence])Return a latex-formatted representation of the Expression.
string
(self[, fence])Return a string representation of the Expression.
Methods Documentation
-
distinct_subset_existence
(self, elems, \*\*defaults_config)[source]¶ Assuming the cardinality of the domain can be proven to be >= 2, proves and returns that there exists distinct elements in that domain.
Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
-