Theorem CategoryTheory.Limits.sequentialFunctor_map
Modification history
2024-11-23 13:41
Mathlib/CategoryTheory/Limits/Shapes/Countable.lean
feat(CategoryTheory): add some API for countable products and countable filtered colimits (#19192)
Deleted CategoryTheory.Limits.sequentialFunctor_mapView on Github →