Theorem Finset.sym_eq_empty

Modification history