Theorem QuaternionAlgebra.sub_self_re

Modification history