Theorem LinearMap.BilinMap.toQuadraticMap_zero

Modification history