Theorem QuaternionAlgebra.sub_re_self

Modification history