chore(CategoryTheory): fix diamond for the preadditive structure on the opposite category#38281
Open
joelriou wants to merge 4 commits intoleanprover-community:masterfrom
Open
chore(CategoryTheory): fix diamond for the preadditive structure on the opposite category#38281joelriou wants to merge 4 commits intoleanprover-community:masterfrom
joelriou wants to merge 4 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 20, 2026
- committed
- committed
- committed
- committed
