Theorem IsMinFilter.comp_antitone

Modification history