Theorem Quaternion.coe_mul_eq_smul

Modification history