Theorem LinearMap.BilinMap.toQuadraticMap_add

Modification history