Theorem QuaternionAlgebra.imJ_ofNat

Modification history