Theorem Quaternion.imJ_mul

Modification history