Skip to content

feat: add List.commonPrefix and its lemmas#994

Open
chabulhwi wants to merge 1 commit intoleanprover-community:mainfrom chabulhwi:List.commonPrefix
+60

Commits

Commits on Oct 16, 2024