Theorem Quaternion.imI_sub

Modification history