Theorem IsMaxOn.neg

Modification history