Theorem Quaternion.imK_sub

Modification history