Theorem QuaternionAlgebra.imK_coe

Modification history