Theorem QuaternionAlgebra.zero_imK

Modification history