Theorem Quaternion.imI_neg

Modification history