Def CategoryTheory.PreZeroHypercover.restrictIndex

Modification history

2025-10-13 13:57
Mathlib/CategoryTheory/Sites/Hypercover/Zero.lean
feat(CategoryTheory/Sites): small `0`-hypercovers (#30321) …
Added CategoryTheory.PreZeroHypercover.restrictIndexView on Github →