Theorem Sym2.eq_of_ne_mem

Modification history