Theorem Finset.inf_sup_distrib_left

Modification history