Theorem QuadraticMap.weightedSumSquares_apply

Modification history