Theorem QuaternionAlgebra.re_star

Modification history