Theorem Quaternion.imK_star

Modification history