logo

Theory of proveit.numbers.roundingΒΆ

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