feat: ematch theorem activation for grind
#5977
Triggered via pull request
December 30, 2024 10:47
leanprover-community-bot
leanprover-community-bot
labeled
#6475
Status
Skipped
Total duration
3s
Artifacts
–