Theorem NumberField.InfiniteAdeleRing.denseRange_algebraMap

Modification history

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 →