Def CategoryTheory.Limits.Indecomposable

Modification history

2025-02-25 07:12

Mathlib/CategoryTheory/Limits/Shapes/BinaryBiproducts.lean

chore: split long file CategoryTheory.Limits.Shapes.Biproducts (#22258)

Added CategoryTheory.Limits.Indecomposable View on Github →