feat: add missing theorems for + 1 and - 1 normal form
#17529
| Job | Run time |
|---|---|
| 2s | |
| 23m 49s | |
| 22m 36s | |
| 51m 30s | |
| 42m 28s | |
| 31m 11s | |
| 41m 21s | |
| 44m 37s | |
| 17m 5s | |
| 20m 39s | |
| 35m 16s | |
| 1s | |
| 0s | |
| 0s | |
| 5h 30m 35s |