[Merged by Bors] - chore: use inferInstanceAs to define the distance on padic integers#37599
Closed
sgouezel wants to merge 1 commit intoleanprover-community:masterfrom
Closed
[Merged by Bors] - chore: use inferInstanceAs to define the distance on padic integers#37599sgouezel wants to merge 1 commit intoleanprover-community:masterfrom
inferInstanceAs to define the distance on padic integers#37599sgouezel wants to merge 1 commit intoleanprover-community:masterfrom
Commits
Commits on Apr 3, 2026
- committed
