Theorem Finset.sup_mono_fun

Modification history