Mathlib Changelog
v4
Changelog
About
Github
Def
HasStandardEtaleSurjectionOn
Modification history
2026-02-06 15:35
Mathlib/RingTheory/Unramified/LocalStructure.lean
feat(RingTheory): local structure of monogenic unramified algebras (#33903)
Added
HasStandardEtaleSurjectionOn
View on Github →