Theorem QuaternionAlgebra.re_ofNat

Modification history