operator - method
Implementation
AlgebraicNumeral operator -(AlgebraicNumeral other) =>
_c._getAlgebraicNumeral(_c._z3.algebraic_sub(_n, other._n));
AlgebraicNumeral operator -(AlgebraicNumeral other) =>
_c._getAlgebraicNumeral(_c._z3.algebraic_sub(_n, other._n));