Theorem Finset.toList_singleton

Modification history