Theorem QuaternionAlgebra.star_coe

Modification history