Theorem Equiv.pointReflection_midpoint_right

Modification history