Theorem ContinuousAffineEquiv.toContinuousAffineMap_toAffineMap

Modification history