Theorem FirstOrder.Ring.MvPolynomialSupportLEEquiv_symm_apply_coeff

Modification history

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