feat: upstream LawfulMonadLift(T) from Batteries
#9917
Triggered via pull request
May 21, 2025 15:49
leanprover-community-bot
leanprover-community-bot
labeled
#8435
Status
Skipped
Total duration
2s
Artifacts
–