Theorem ContinuousAffineMap.toConstProdContinuousLinearMap_snd

Modification history