Theorem Quaternion.imI_smul

Modification history