Theorem NumberField.InfiniteAdeleRing.denseRange_algebraMap

Modification history

2026-10-30 13:18
Mathlib/NumberTheory/NumberField/InfiniteAdeleRing.lean
refactor: make `AbsoluteValue.Completion` a one-field structure (#45407) …
Modified NumberField.InfiniteAdeleRing.denseRange_algebraMapView on Github →
2026-07-29 08:07
Mathlib/NumberTheory/NumberField/InfiniteAdeleRing.lean
feat: notation for adele rings (#40535) …
Modified NumberField.InfiniteAdeleRing.denseRange_algebraMapView on Github →
2025-12-17 04:46
Mathlib/NumberTheory/NumberField/AdeleRing.lean
chore(NumberTheory/NumberField/AdeleRing): split file (#32897) …
Modified NumberField.InfiniteAdeleRing.denseRange_algebraMapView on Github →
2025-12-04 10:27
Mathlib/NumberTheory/NumberField/AdeleRing.lean
feat: weak approximation theorems for infinite places of a number field (#27971) …
Added NumberField.InfiniteAdeleRing.denseRange_algebraMapView on Github →