Theorem Quaternion.add_imI

Modification history