Theorem Equiv.right_vsub_pointReflection

Modification history