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.