Theorem QuadraticMap.linMulLin_comp

Modification history