chore: remove @[grind] from Array.size_eq_zero_iff`
#9973
| Job | Run time |
|---|---|
| 2s | |
| 2s |
@[grind] from Array.size_eq_zero_iff`
#9973
| Job | Run time |
|---|---|
| 2s | |
| 2s |