Skip to content

two more theorems about folds#119

Merged
muenchnerkindl merged 1 commit into
masterfrom
foldappend
Jan 20, 2026
Merged

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

Commits

Commits on Jan 19, 2026