Theorem LinearMap.BilinMap.toQuadraticMap_smul

Modification history