Skip to content

feat: List.fold / attach lemmas #9008

feat: List.fold / attach lemmas

feat: List.fold / attach lemmas #9008