Theorem QuaternionAlgebra.imK_star

Modification history