fix: make sure monad lift coercion elaborator has no side effects #5098
Triggered via pull request
November 11, 2024 23:56
leanprover-community-bot
leanprover-community-bot
labeled
#6024
Status
Skipped
Total duration
2s
Artifacts
–