Theorem QuaternionAlgebra.intCast_imJ

Modification history