Theorem Quaternion.mul_coe_eq_smul

Modification history