feat: change AxEffects.toSimpTheorems to generate more specific dis…
#129
| Job | Run time |
|---|---|
| 10m 17s | |
| 7m 5s | |
| 17m 22s |
AxEffects.toSimpTheorems to generate more specific dis…
#129
| Job | Run time |
|---|---|
| 10m 17s | |
| 7m 5s | |
| 17m 22s |