Theorem AffineEquiv.pointReflection_apply

Modification history