Skip to content

add general lemmas relating fold and add #26

add general lemmas relating fold and add

add general lemmas relating fold and add #26