Theorem Finset.strictMono_iff_forall_lt_insert

Modification history