Theorem LinearMap.BilinMap.toQuadraticMap_apply

Modification history