Def CategoryTheory.GrothendieckTopology.Cover.shape

Modification history

2025-02-10 09:35

Mathlib/CategoryTheory/Sites/Grothendieck.lean

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

Added CategoryTheory.GrothendieckTopology.Cover.shape View on Github →