Theorem dist_pointReflection_left

Modification history