Theorem Quaternion.imI_mul

Modification history