feat: add Function.{prod,diag,fstComp,sndComp,prodMap}#37631
Open
linesthatinterlace wants to merge 20 commits intoleanprover-community:masterfrom
Open
feat: add Function.{prod,diag,fstComp,sndComp,prodMap}#37631linesthatinterlace wants to merge 20 commits intoleanprover-community:masterfrom
Function.{prod,diag,fstComp,sndComp,prodMap}#37631linesthatinterlace wants to merge 20 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 4, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
Commits on Apr 15, 2026
Commits on Apr 20, 2026
Commits on Apr 21, 2026
- committed
- committed
- committed
- committed
- committed