Theorem QuaternionAlgebra.imJ_coe

Modification history