fix: wildcard generalize only generalizes visible theorems
#10659
| Job | Run time |
|---|---|
| 4s | |
| 4s |
generalize only generalizes visible theorems
#10659
| Job | Run time |
|---|---|
| 4s | |
| 4s |