Theorem QuaternionAlgebra.neg_imK

Modification history