Theorem LinearMap.BilinMap.toQuadraticMap_comp_same

Modification history