Skip to content

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

Open
linesthatinterlace wants to merge 31 commits into
leanprover-community:masterfrom
linesthatinterlace:function_prod
Open

feat: add Function.{prod,diag,fstComp,sndComp,prodMap}#37631
linesthatinterlace wants to merge 31 commits into
leanprover-community:masterfrom
linesthatinterlace: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