Theorem FirstOrder.Ring.lift_genericPolyMap

Modification history

2024-11-05 07:31
Mathlib/RingTheory/MvPolynomial/FreeCommRing.lean
feat(ModelTheory): Turning polynomials into ring terms (#16503)
Added FirstOrder.Ring.lift_genericPolyMapView on Github →