Theorem QuadraticMap.linMulLin_add

Modification history