Theorem Quaternion.sub_imI

Modification history