Theorem Finset.sup'_singleton

Modification history