Theorem Finset.sym2_eq_empty

Modification history