Theory of proveit.core_expr_types.operations

Theory related to Operation types of Prove-It expressions. An Operation has an operator and operand(s) and represents the operation of the operator being applied to the operands. For example, $x + y + z$ is an operation of the $+$ operator acting on $x$, $y$, and $z$ as operands.

In [1]:
import proveit
%theory # toggles between interactive and static modes

Local content of this theory

All axioms contained within this theory