Theorem AffineEquiv.toEquiv_injective

Modification history