proveit.numbers.
Max
Bases: proveit.numbers.NumberOperation, proveit.Function
proveit.numbers.NumberOperation
proveit.Function