Theorem Sym2.mk_eq_mk_iff

Modification history