Theorem dist_right_pointReflection

Modification history