Def StandardEtalePair.equivMvPolynomialQuotient

Modification history

2025-11-20 14:55

Mathlib/RingTheory/Etale/StandardEtale.lean

feat(RingTheory/Etale): standard etale maps (#30867)

Added StandardEtalePair.equivMvPolynomialQuotient View on Github →