Theorem QuaternionAlgebra.re_add_im

Modification history