feat(Algebra/Polynomial/AlgebraMap): add algEquiv(OfCompEqX|AevalXAddC)_(eq_iff|symm) (#18257)
algEquiv(OfCompEqX|AevalXAddC)_(eq_iff|symm)