Context:
proveit
.
number
.multiplication
¶
Provide description here.
In [1]:
import
proveit
%
context
common expressions
axioms
theorems
demonstrations