Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-21 09:29
2edff713
View on Github →
chore(RingTheory/DedekindDomain/FiniteAdeleRing): remove TODO (
#17951
) It's done!
Estimated changes
Modified
Mathlib/RingTheory/DedekindDomain/FiniteAdeleRing.lean