Theorem QuaternionAlgebra.natCast_re

Modification history