Theorem QuadraticMap.associated_linMulLin

Modification history