Theorem Finset.sym2_empty

Modification history