Skip to content
Back to pull request #4846

fix: wildcard generalize only generalizes visible theorems #4770

Sign in to view logs

fix: wildcard generalize only generalizes visible theorems

fix: wildcard generalize only generalizes visible theorems #4770

This job was skipped