Theorem Finset.inf_mono

Modification history