Skip to content

two more theorems about folds#119

Merged
muenchnerkindl merged 1 commit intomasterfrom
foldappend
Jan 20, 2026
Merged

two more theorems about folds#119
muenchnerkindl merged 1 commit intomasterfrom
foldappend

Commits

Commits on Jan 19, 2026