Injections¶
-
class
proveit.logic.
Injections
(domain, codomain, *, styles=None)[source]¶ Bases:
proveit.Function
A set of functions from a domain to a codomain that are one-to-one and onto.
Methods Summary
latex
(self, \*\*kwargs)Return a latex-formatted representation of the Expression.
Methods Documentation