Theorem dist_pointReflection_right

Modification history