Theorem Quaternion.imI_star

Modification history