Def CategoryTheory.Limits.multicospanShapeEnd

Modification history

2025-02-10 09:35

Mathlib/CategoryTheory/Limits/Shapes/End.lean

refactor(CategoryTheory/Limits): split `MultispanIndex` into two structures (#20988) …

Added CategoryTheory.Limits.multicospanShapeEnd View on Github →