Skip to content

feat: Add Function.prod and Function.diag#37606

Closed
linesthatinterlace wants to merge 38 commits into
leanprover-community:masterfrom
linesthatinterlace:prod_diag
Closed

feat: Add Function.prod and Function.diag#37606
linesthatinterlace wants to merge 38 commits into
leanprover-community:masterfrom
linesthatinterlace:prod_diag

Commits

Commits on Apr 3, 2026

Commits on Apr 4, 2026