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

latex(self, fence=False, \*\*kwargs)[source]

Return a latex-formatted representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).

string(self, \*\*kwargs)[source]

Return a string representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).