Theorem AffineEquiv.toAffineMap_injective

Modification history