Theorem Finset.inf'_sup_distrib_right

Modification history