Theorem NumberField.AdeleRing.algebraMap_fst_apply

Modification history

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