Theorem Polynomial.eval₂_evalRingHom

Modification history

2024-08-23 04:06

Mathlib/Algebra/Polynomial/Bivariate.lean

feat(Algebra/Polynomial/Bivariate): add lemmas for bivariate polynomials (#14579)

Modified Polynomial.eval₂_evalRingHom View on Github →

2024-06-26 10:10

Mathlib/Algebra/Polynomial/Bivariate.lean

feat(EllipticCurve): affine formulas and bivariate polynomial lemmas (#13845) …

Added Polynomial.eval₂_evalRingHom View on Github →