Theorem Finset.default_singleton

Modification history