RealInterval¶
-
class
proveit.numbers.
RealInterval
(operator, lower_bound, upper_bound, *, styles=None)[source]¶ Bases:
proveit.Operation
Base class for all permutations of closed and open intervals. Do not construct an object of this class directly! Instead, use IntervalOO or IntervalOC etc.