Theorem QuaternionAlgebra.mul_coe_eq_smul

Modification history