fix: .eq_def theorem generation with messy universes
#3250
| Job | Run time |
|---|---|
| 2s | |
| 2s |
.eq_def theorem generation with messy universes
#3250
| Job | Run time |
|---|---|
| 2s | |
| 2s |