InvImage¶
-
class
proveit.logic.
InvImage
(elem_function, *, styles=None)[source]¶ Bases:
proveit.Operation
Represents a function (operator) that may be applied to a set or tuple (ordered set) for applying the inverse of a function to each element.
Methods Summary
latex
(self[, fence])Return a latex-formatted representation of the Expression.
string
(self, \*\*kwargs)Return a string representation of the Expression.
Methods Documentation