Theorem Equiv.pointReflection_apply

Modification history