Theorem Sym2.congr_right

Modification history