Def CategoryTheory.Limits.Cofan.combPairIsColimit

Modification history

2024-02-14 07:40

Mathlib/CategoryTheory/Limits/Shapes/CombinedProducts.lean

feat(CategoryTheory/Galois): decomposition in connected components (#10419) …

Added CategoryTheory.Limits.Cofan.combPairIsColimit View on Github →