Theorem QuaternionAlgebra.coe_mul_eq_smul

Modification history