Theorem Finset.sup_singleton

Modification history