Theorem Quaternion.star_imI

Modification history