Theorem QuaternionAlgebra.imK_ofNat

Modification history