Theorem Quaternion.zero_imK

Modification history