Theorem Finset.strictMono_iff_forall_lt_cons

Modification history