Theorem Finset.antitone_iff_forall_insert_le

Modification history