Def FirstOrder.Ring.genericPolyMap

Modification history

2026-03-24 02:02
Mathlib/RingTheory/MvPolynomial/FreeCommRing.lean
chore: bump toolchain to `v4.29.0-rc7` (#37034) …
Deleted FirstOrder.Ring.genericPolyMapView on Github →
2024-11-05 07:31
Mathlib/RingTheory/MvPolynomial/FreeCommRing.lean
feat(ModelTheory): Turning polynomials into ring terms (#16503)
Added FirstOrder.Ring.genericPolyMapView on Github →