Theorem LinearMap.BilinMap.toQuadraticMap_list_sum

Modification history