Theorem Finset.eq_empty_of_sym_eq_empty

Modification history