Theorem Finset.sym_singleton

Modification history