Theorem Finset.monotone_iff

Modification history