Theorem Quaternion.smul_imJ

Modification history