[Merged by Bors] - feat: add Ideal.IsPrincipal.of_isPrincipal_pow_of_coprime#39982
Closed
riccardobrasca wants to merge 18 commits into
Closed
[Merged by Bors] - feat: add Ideal.IsPrincipal.of_isPrincipal_pow_of_coprime#39982riccardobrasca wants to merge 18 commits into
riccardobrasca wants to merge 18 commits into
Commits
Commits on May 28, 2026
Commits on Jun 5, 2026
Commits on Jun 25, 2026
- andauthored
- andauthored
- andauthored
- authored
- committed
- committed
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}
