Theorem DedekindDomain.ProdAdicCompletions.algebraMap_apply

Modification history

2024-05-28 11:04
Mathlib/RingTheory/DedekindDomain/FiniteAdeleRing.lean
feat: add API for finite adele rings (#13021) …
Added DedekindDomain.ProdAdicCompletions.algebraMap_applyView on Github →