Theorem QuaternionAlgebra.smul_imK

Modification history