Theorem DedekindDomain.mem_finiteAdeleRing_iff

Modification history

2024-05-28 11:04
Mathlib/RingTheory/DedekindDomain/FiniteAdeleRing.lean
feat: add API for finite adele rings (#13021) …
Deleted DedekindDomain.mem_finiteAdeleRing_iffView on Github →
2023-06-22 21:12
Mathlib/RingTheory/DedekindDomain/FiniteAdeleRing.lean
feat: port RingTheory.DedekindDomain.FiniteAdeleRing (#5402)
Added DedekindDomain.mem_finiteAdeleRing_iffView on Github →