Theorem QuaternionAlgebra.one_imI

Modification history