feat: upstream LawfulMonadLift(T) from Batteries
#9929
Triggered via pull request
May 22, 2025 08:28
leanprover-community-bot
leanprover-community-bot
labeled
#8435
Status
Skipped
Total duration
2s
Artifacts
–