Theorem IsMaxOn.inf

Modification history