Skip to content

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

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

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

Commits

Commits on Apr 3, 2026

Commits on Apr 4, 2026