Theorem Quaternion.im_star

Modification history