Theorem Equiv.pointReflection_symm

Modification history