Theorem Quaternion.smul_imK

Modification history