Theorem AffineEquiv.linear_refl

Modification history