Theorem Sym2.other_ne

Modification history