Def CategoryTheory.Precoverage.ZeroHypercover.restrictIndexOfSmall

Modification history

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