Function¶
-
class
proveit.Function(operator, operand_or_operands=None, *, operands=None, styles=None)[source]¶ Bases:
proveit.OperationA Function is an Operation that will format as a function: f(x), Q(x, y), etc. The StyleOptions will not include ‘operation’ which will for Operation into a ‘function’ style rather than ‘infix’.
Methods Summary
style_options(self)Return the StyleOptions object for the Function.
Methods Documentation