Theorem Quaternion.coe_im

Modification history