Theorem AffineEquiv.ofBijective.symm_eq

Modification history