[Merged by Bors] - chore: fix double instance declaration in FiniteAdeleRing#38300
Closed
sgouezel wants to merge 1 commit intoleanprover-community:masterfrom
Closed
[Merged by Bors] - chore: fix double instance declaration in FiniteAdeleRing#38300sgouezel wants to merge 1 commit intoleanprover-community:masterfrom
sgouezel wants to merge 1 commit intoleanprover-community:masterfrom
