fix: remove theorems which now exist in core #96210
build.yml
on: push
Cancel Previous Runs (CI)
2s
check workflows
11s
summarize_declarations
21s
Post-CI job
0s