ConditionalSet¶
-
class
proveit.
ConditionalSet
(*conditionals, styles=None)[source]¶ Bases:
proveit.Operation
Methods Summary
latex
(self, \*\*kwargs)Return a latex-formatted representation of the Expression.
string
(self, \*\*kwargs)Return a string representation of the Expression.
Methods Documentation