Theorem LinearMap.compQuadraticMap_polarBilin

Modification history