Def CategoryTheory.Limits.biproduct.matrixEquiv

Modification history

2024-02-24 11:15
Mathlib/CategoryTheory/Limits/Shapes/Biproducts.lean
chore(CategoryTheory/Limits): `Fintype` -> `Finite` (#10915)
Modified CategoryTheory.Limits.biproduct.matrixEquivView on Github →
2023-03-08 18:05
Mathlib/CategoryTheory/Limits/Shapes/Biproducts.lean
feat: port CategoryTheory.Limits.Shapes/Biproducts (#2710)
Added CategoryTheory.Limits.biproduct.matrixEquivView on Github →