Theorem QuaternionAlgebra.one_re

Modification history