Theorem QuadraticMap.linMulLin_apply

Modification history