Def CategoryTheory.Limits.Fan.combPairIsLimit

Modification history

2024-02-14 07:40

Mathlib/CategoryTheory/Limits/Shapes/CombinedProducts.lean

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

Added CategoryTheory.Limits.Fan.combPairIsLimit View on Github →