Theorem QuaternionAlgebra.imI_natCast

Modification history