Theory of proveit.numbers.rounding

Theory related to rounding of numbers, including Round, Ceil, and Floor classes.

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.rounding.ceil_is_an_int

proveit.numbers.rounding.ceil_of_x_greater_eq_x

proveit.numbers.rounding.ceil_of_x_less_eq

proveit.numbers.rounding.floor_is_an_int

proveit.numbers.rounding.floor_of_x_less_eq_x

proveit.numbers.rounding.floor_of_x_greater_eq

proveit.numbers.rounding.round_is_an_int

proveit.numbers.rounding.round_is_closest_int

proveit.numbers.rounding.round_up