feat(Order/Monoid/Unbundled): make mulLeftMono_of_mulLeftStrictMono and mulRightMono_of_mulRightStrictMono instances.
#215053
Triggered via issue
August 16, 2026 22:25
riccardobrasca
Status
Success
Total duration
9s
Artifacts
–
labels_from_comment.yml
on: issue_comment
update-label
4s