fix: add grind normalization theorem for Int.negSucc
#10565
Triggered via pull request
June 13, 2025 17:13
leodemoura
leodemoura
closed
#8775
Status
Success
Total duration
9s
Artifacts
–