Theorem Holor.mul_scalar_mul

Modification history