Theorem QuadraticMap.linMulLinSelfPosDef

Modification history