fix: apply ring normalizer to equalities coming from grind to core to lia
#18577
| Job | Run time |
|---|---|
| 4s | |
| 4s |
grind to core to lia
#18577
| Job | Run time |
|---|---|
| 4s | |
| 4s |