Theorem Finset.sup_singleton_apply

Modification history