Theorem Quaternion.imJ_sub

Modification history