Theorem Finset.sym_empty

Modification history