Theorem AffineEquiv.symm_linear

Modification history