Skip to content

add general lemmas relating fold and add #28

add general lemmas relating fold and add

add general lemmas relating fold and add #28