Theorem Equiv.pointReflection_vsub_left

Modification history