feat: toNat theorems for rotateLeft and rotateRight
#325
| Job | Run time |
|---|---|
| 5s | |
| 5s |
toNat theorems for rotateLeft and rotateRight
#325
| Job | Run time |
|---|---|
| 5s | |
| 5s |