Min

class proveit.numbers.Min(*operands, styles=None)[source]

Bases: proveit.numbers.NumberOperation, proveit.Function