Theorem QuaternionAlgebra.imI_ofNat

Modification history