Def CategoryTheory.PreOneHypercover.Hom.mapMulticospan

Modification history

2026-03-03 13:11

Mathlib/CategoryTheory/Sites/Hypercover/One.lean

feat(CategoryTheory/Sites): isomorphic hypercovers have equivalent sheaf conditions (#35901) …

Added CategoryTheory.PreOneHypercover.Hom.mapMulticospan View on Github →