Theorem IsMaxOn.sup

Modification history