Theorem QuaternionAlgebra.nat_cast_imI

Modification history