Theorem Finset.min_mono

Modification history