Theorem Finset.monotone_iff_forall_le_cons

Modification history