Theorem QuaternionAlgebra.mul_star_eq_coe

Modification history