Theorem Finset.strictAnti_iff_forall_lt_insert

Modification history