batteries
batteries
copied to clipboard
Published
20 hours ago
•
leanprover-community
Reame
Issues
feat: some lemmas about variations List.get and List.getLast, fix duplicate lemma
Open
javra
opened this issue 10 months ago
• 2 comments
Sep 28 '23 20:09
javra