Theorem QuadraticMap.discr_smul

Modification history