Skip to content

feat: add Function.{prod,diag,fstComp,sndComp,prodMap}#37631

Open
wrenna-robson wants to merge 32 commits into
leanprover-community:masterfrom
wrenna-robson:function_prod
Open

feat: add Function.{prod,diag,fstComp,sndComp,prodMap}#37631
wrenna-robson wants to merge 32 commits into
leanprover-community:masterfrom
wrenna-robson:function_prod

Commits

Commits on Apr 4, 2026

Commits on Apr 15, 2026

Commits on Apr 20, 2026

Commits on Apr 21, 2026

Commits on Apr 22, 2026

Commits on May 5, 2026

Commits on May 6, 2026

Commits on May 7, 2026

Commits on May 10, 2026

Commits on May 11, 2026

Commits on May 29, 2026