Theory of proveit.numbers.addition

Provide description here.

import proveit
%theory

Local content of this theory

common expressions	axioms	theorems	demonstrations

Sub-theories

subtraction	Subtraction is internally represented as addition of negated operands.

All axioms contained within this theory

proveit.numbers.addition.nat_plus_zero

proveit.numbers.addition.nat_plus_successor

proveit.numbers.addition.empty_addition

proveit.numbers.addition.multi_addition_def

proveit.numbers.addition.subtraction

This sub-theory contains no axioms.