Theorem IsMaxOn.min

Modification history