Theorem Quaternion.imK_smul

Modification history