Theorem Equiv.pointReflection_vsub_right

Modification history