theorem library for fold operators#116

Merged

muenchnerkindl merged 4 commits intomasterfrom

Dec 15, 2025

Commits on Dec 12, 2025

theorem library for fold operators
muenchnerkindl
committed

Commits on Dec 13, 2025

more theorems about Fold
muenchnerkindl
committed

Commits on Dec 15, 2025

add fold corollaries for adding an element, remove traces of old theorems and proofs
muenchnerkindl
committed
addressing review of fold theorems
muenchnerkindl
committed