Theorem Polynomial.aeval_X_left_eq_map

Modification history

2025-10-28 15:18
Mathlib/Algebra/Polynomial/AlgebraMap.lean
feat(RingTheory/Finiteness): a finite and finitely presented algebra is finitely presented (#29781) …
Added Polynomial.aeval_X_left_eq_mapView on Github →