Theorem CategoryTheory.PreZeroHypercover.presieve₀_restrictIndex_equiv

Modification history

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