Theorem Quaternion.imK_one

Modification history