Theorem QuaternionAlgebra.coe_imK

Modification history