Theorem HasStandardEtaleSurjectionOn.isStandardEtale

Modification history

2026-02-06 15:35

Mathlib/RingTheory/Unramified/LocalStructure.lean

feat(RingTheory): local structure of monogenic unramified algebras (#33903)

Added HasStandardEtaleSurjectionOn.isStandardEtale View on Github →