Theorem QuaternionAlgebra.imK_natCast

Modification history