Theorem QuaternionAlgebra.im_ofNat

Modification history