Max

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

Bases: proveit.numbers.NumberOperation, proveit.Function