Theorem Finset.antitone_iff

Modification history