Theorem CategoryTheory.PreOneHypercover.Hom.mapMultiforkOfIsLimit_comp

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.mapMultiforkOfIsLimit_compView on Github →