chore: alignment of Array and List lemmas #5713
Triggered via pull request
December 9, 2024 11:43
leanprover-community-bot
leanprover-community-bot
labeled
#6342
Status
Skipped
Total duration
2s
Artifacts
–