Theorem IsDedekindDomain.of_formallyUnramified

Modification history

2026-08-10 10:19
Mathlib/RingTheory/Unramified/Dedekind.lean
chore: remove `IsDedekindDomainDvr` (#42367) …
Added IsDedekindDomain.of_formallyUnramifiedView on Github →