Theorem QuaternionAlgebra.one_imK

Modification history