Theorem LinearMap.BilinMap.toQuadraticMap_sub

Modification history