Theorem QuaternionAlgebra.one_imJ

Modification history