logo

Theory of proveit.numbers.addition

Provide description here.

In [1]:
import proveit
%theory

Local content of this theory

common expressions axioms theorems demonstrations

Sub-theories

subtractionSubtraction is internally represented as addition of negated operands.

All axioms contained within this theory

proveit.numbers.addition.subtraction

This sub-theory contains no axioms.