Skip to content
Back to pull request #4846

fix: wildcard generalize only generalizes visible theorems #5746

Sign in to view logs

fix: wildcard generalize only generalizes visible theorems

fix: wildcard generalize only generalizes visible theorems #5746

This job succeeded