Theorem Sym2.other_eq_other'

Modification history