Theorem Finset.sup_empty

Modification history