Theorem Quaternion.im_idem

Modification history