Skip to content

Add a fold operation over finite maps, and associated lemmas#717

Draft
fdupress wants to merge 2 commits intomainfrom fmap-fold

Commits

Commits on Feb 8, 2025

Commits on Feb 12, 2025