feat: add delaborators for <|>
, <*>
, >>
, <*
, and *>
#4801
Triggered via pull request
October 26, 2024 23:37
leanprover-community-bot
labeled
#5854
Status
Skipped
Total duration
2s
Artifacts
–