Theorem QuaternionAlgebra.re_intCast

Modification history