Theorem Quaternion.imI_coe

Modification history