Theorem QuaternionAlgebra.zero_imI

Modification history