Theorem QuaternionAlgebra.im_smul

Modification history