fix: remove withoutRecover from apply elaboration
#4816
Triggered via pull request
October 28, 2024 08:04
leanprover-community-bot
leanprover-community-bot
labeled
#5862
Status
Skipped
Total duration
2s
Artifacts
–