8000 feat: Add `getElem_unzip` lemmas by linesthatinterlace · Pull Request #8644 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: Add getElem_unzip lemmas#8644

Draft
linesthatinterlace wants to merge 1 commit intoleanprover:masterfrom
linesthatinterlace:unzip_lemmas
Draft

feat: Add `getElem_unzip` lemmas#8644
linesthatinterlace wants to merge 1 commit intoleanprover:masterfrom
linesthatinterlace:unzip_lemmas

Commits

Commits on Jun 5, 2025
0