[Merged by Bors] - feat(Data/Nat): define Nat.nthRoot#28768
Closed
yury-harmonic wants to merge 14 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(Data/Nat): define `Nat.nthRoot`#28768yury-harmonic wants to merge 14 commits intoleanprover-community:masterfrom
yury-harmonic wants to merge 14 commits intoleanprover-community:masterfrom
Commits
Commits on Aug 22, 2025
- committed
- andauthored
Commits on Aug 23, 2025
- committed
- committed
Commits on Oct 6, 2025
Commits on Oct 7, 2025
Commits on Oct 10, 2025
- committed
- committed
- committed
Commits on Oct 13, 2025
- committed