Theorem Quaternion.imJ_neg

Modification history