Theorem midpoint_pointReflection_left

Modification history