Theorem QuaternionAlgebra.sub_re

Modification history