Theorem QuaternionAlgebra.star_im

Modification history