Theory of proveit.numbers.number_sets.real_numbers

Provide description here.

import proveit
%theory

Local content of this theory

common expressions	axioms	theorems	demonstrations

Sub-theories

All axioms contained within this theory

proveit.numbers.number_sets.real_numbers.real_pos_def

proveit.numbers.number_sets.real_numbers.in_IntervalOO_def

proveit.numbers.number_sets.real_numbers.in_IntervalOC_def

proveit.numbers.number_sets.real_numbers.in_IntervalCO_def

proveit.numbers.number_sets.real_numbers.in_IntervalCC_def