Skip to content
Back to pull request #4846

fix: wildcard generalize only generalizes visible theorems #10659

Sign in to view logs

fix: wildcard generalize only generalizes visible theorems

fix: wildcard generalize only generalizes visible theorems #10659

Triggered via pull request October 25, 2024 01:32
@kim-emkim-em
synchronize #4846
ymherklotz:wildcard-generalize
Status Success
Total duration 1m 26s
Billable time 1m
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
4s
check-pr-title
Fit to window
Zoom out
Zoom in