Theorem Finset.inf_sup_distrib_right

Modification history