Image

class proveit.logic.Image(elem_function, set_of_elems, *, styles=None)

Bases: proveit.Operation

Represents the image of a set under a function (operator) which is the set obtained by applying the function to each element of the original set.

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

latex(self, \*\*kwargs)

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)

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).