Theorem IsDedekindDomain.FiniteAdeleRing.ext

Modification history

2026-07-29 08:07
Mathlib/RingTheory/DedekindDomain/FiniteAdeleRing.lean
feat: notation for adele rings (#40535) …
Modified IsDedekindDomain.FiniteAdeleRing.extView on Github →
2025-04-23 12:17
Mathlib/RingTheory/DedekindDomain/FiniteAdeleRing.lean
chore(RingTheory/DedekindDomain): fix namespace inconsistency (#24313) …
Added IsDedekindDomain.FiniteAdeleRing.extView on Github →