Theorem QuadraticMap.add_linMulLin

Modification history