Theorem AffineEquiv.injective_pointReflection_left_of_module

Modification history