Theorem ContinuousAffineEquiv.toAffineEquiv_injective

Modification history