batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: some lemmas about variations List.get and List.getLast, fix duplicate lemma

Open javra opened this issue 10 months ago • 2 comments

javra avatar Sep 28 '23 20:09 javra