Theorem IsMaxOn.max

Modification history