Theorem Quaternion.smul_imI

Modification history