Theorem Finset.inf_sup

Modification history