Def CategoryTheory.PreOneHypercover.Homotopy.isLimitMultiforkEquiv

Modification history

2026-03-03 13:11
Mathlib/CategoryTheory/Sites/Hypercover/Homotopy.lean
feat(CategoryTheory/Sites): homotopy equivalent hypercovers have equivalent sheaf conditions (#35902) …
Added CategoryTheory.PreOneHypercover.Homotopy.isLimitMultiforkEquivView on Github →