Theorem AffineEquiv.pointReflection_midpoint_right

Modification history