Theorem QuaternionAlgebra.star_mul_eq_coe

Modification history