move SetoidRewrite to main library and other changes in preparation for diagram chasing #3923
| Job | Run time |
|---|---|
| 2m 16s | |
| 2m 51s | |
| 2m 51s | |
| 2m 54s | |
| 2m 53s | |
| 2m 50s | |
| 2m 53s | |
| 2m 52s | |
| 2m 53s | |
| 2m 52s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 5s | |
| 1s | |
| 1s | |
| 28m 17s |
| Job | Run time |
|---|---|
| 2m 16s | |
| 2m 51s | |
| 2m 51s | |
| 2m 54s | |
| 2m 53s | |
| 2m 50s | |
| 2m 53s | |
| 2m 52s | |
| 2m 53s | |
| 2m 52s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 5s | |
| 1s | |
| 1s | |
| 28m 17s |