Theorem Quaternion.star_im

Modification history