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

The logs for this run have expired and are no longer available.