Theorem QuaternionAlgebra.neg_re

Modification history