Context:
proveit
.
number
.addition
¶
Provide description here.
In [1]:
import
proveit
%
context
common expressions
axioms
theorems
demonstrations
subtraction
Subtraction is internally represented as addition of negated operands.