Theorem Quaternion.one_imK

Modification history