Fix decreasing_by for new Lean version
#84
| Job | Run time |
|---|---|
| 3m 42s | |
| 3m 42s |
decreasing_by for new Lean version
#84
| Job | Run time |
|---|---|
| 3m 42s | |
| 3m 42s |