Theorem MvPolynomial.eval₂_comp

Modification history

2025-01-13 17:41

Mathlib/Algebra/MvPolynomial/Basic.lean

chore(Algebra/MvPolynomial/Eval): split file for eval off of basic (#20655) …

Modified MvPolynomial.eval₂_comp View on Github →

2024-12-23 16:10

Mathlib/Algebra/MvPolynomial/Basic.lean

feat(AlgebraicGeometry/EllipticCurve/Projective): add maps and base changes (#20022)

Added MvPolynomial.eval₂_comp View on Github →