Theorem ContinuousAffineMap.to_continuousMap_injective

Modification history