chore: upstream some monad lemmas #4291
Triggered via pull request
September 25, 2024 07:31
leanprover-community-bot
leanprover-community-bot
labeled
#5463
Status
Skipped
Total duration
2s
Artifacts
–