Theorem Quaternion.imJ_smul

Modification history