Skip to content
Back to pull request #4846

fix: wildcard generalize only generalizes visible theorems #23289

Sign in to view logs

fix: wildcard generalize only generalizes visible theorems

fix: wildcard generalize only generalizes visible theorems #23289

Build matrix complete

Build matrix complete
succeeded Oct 25, 2024 in 2s