Theory of proveit.numbers.numerals

Provide description here.

import proveit
%theory

Local content of this theory

common expressions	axioms	theorems	demonstrations

Sub-theories

binaries	Only 0's and 1's as numerals
decimals	0-9 as numerals
hexidecimals	0-9 and a-f as numerals

All axioms contained within this theory

This theory contains no axioms directly.

proveit.numbers.numerals.binaries

proveit.numbers.numerals.binaries.single_bit_reduction

proveit.numbers.numerals.decimals

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

proveit.numbers.numerals.hexidecimals

This sub-theory contains no axioms.