Theorem IsExtrFilter.comp_antitone

Modification history