Functions¶
-
class
proveit.logic.
Functions
(domain, codomain, *, styles=None)[source]¶ Bases:
proveit.Operation
A set of functions from a domain to a codomain.
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