feat: further generic GetElem lemmas
#9982
Triggered via pull request
May 24, 2025 12:58
leanprover-community-bot
leanprover-community-bot
labeled
#8465
Status
Skipped
Total duration
2s
Artifacts
–