Theorem StandardEtalePresentation.aeval_val_equivMvPolynomial

Modification history

2025-11-27 13:47
Mathlib/RingTheory/Etale/StandardEtale.lean
feat(RingTheory): `IsStandardEtale` (#32138)
Added StandardEtalePresentation.aeval_val_equivMvPolynomialView on Github →