Theorem Equiv.pointReflection_involutive

Modification history