Theorem Finset.strictMono_iff

Modification history