fix: add grind normalization theorem for Int.negSucc#8775
Merged
leodemoura merged 3 commits intomasterfrom Jun 13, 2025
Merged
fix: add `grind` normalization theorem for `Int.negSucc`#8775leodemoura merged 3 commits intomasterfrom
leodemoura merged 3 commits intomasterfrom
Commits
Commits on Jun 13, 2025
- committed
- committed
- committed
