Theory of
proveit
.
numbers
.
numerals
.decimals
ΒΆ
Provide description here.
In [1]:
import
proveit
%
theory
# toggles between interactive and static modes
Local content of this theory
common expressions
axioms
theorems
demonstrations
Sub-theories
All axioms contained within this theory
proveit.numbers.numerals.decimals.one_def
proveit.numbers.numerals.decimals.two_def
proveit.numbers.numerals.decimals.three_def
proveit.numbers.numerals.decimals.four_def
proveit.numbers.numerals.decimals.five_def
proveit.numbers.numerals.decimals.six_def
proveit.numbers.numerals.decimals.seven_def
proveit.numbers.numerals.decimals.eight_def
proveit.numbers.numerals.decimals.nine_def
proveit.numbers.numerals.decimals.N_leq_9_def
proveit.numbers.numerals.decimals.single_digit_reduction
