Theorem Finset.sups_singleton

Modification history