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

two more theorems about folds

bb8ceaf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar