Theorem QuaternionAlgebra.natCast_im

Modification history