refactor: move simplifier support to GrindM
#5922
Triggered via pull request
December 25, 2024 21:50
leanprover-community-bot
leanprover-community-bot
labeled
#6447
Status
Skipped
Total duration
2s
Artifacts
–