Theorem IsMaxOn.comp_antitone

Modification history