Theorem Equiv.left_vsub_pointReflection

Modification history