Def CategoryTheory.GrothendieckTopology.OneHypercover.homotopicRel

Modification history

2025-10-01 22:02
Mathlib/CategoryTheory/Sites/Hypercover/Homotopy.lean
feat(CategoryTheory/Sites): the category of `1`-hypercovers up to homotopy (#29551) …
Added CategoryTheory.GrothendieckTopology.OneHypercover.homotopicRelView on Github →