Theorem NumberField.InfiniteAdeleRing.mixedEmbedding_eq_algebraMap_comp

Modification history

2024-11-09 14:40
Mathlib/NumberTheory/NumberField/AdeleRing.lean
feat: the adele ring of a number field (#16485) …
Added NumberField.InfiniteAdeleRing.mixedEmbedding_eq_algebraMap_compView on Github →