Theorem QuaternionAlgebra.nat_cast_im

Modification history