Theorem Finset.inf_mono_fun

Modification history