fix: wildcard generalize only generalizes visible theorems
#4773
| Job | Run time |
|---|---|
| 2s | |
| 2s |
generalize only generalizes visible theorems
#4773
| Job | Run time |
|---|---|
| 2s | |
| 2s |