Theorem DedekindDomain.FiniteAdeleRing.ext

Modification history

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