Skip to content
Label PR based on Comment

fix: wildcard generalize only generalizes visible theorems #5435

Sign in to view logs

fix: wildcard generalize only generalizes visible theorems

fix: wildcard generalize only generalizes visible theorems #5435

This job was skipped