Theorem QuaternionAlgebra.smul_im

Modification history