Theorem CategoryTheory.Precoverage.ZeroHypercover.Small.mem₀

Modification history

2025-10-13 13:57

Mathlib/CategoryTheory/Sites/Hypercover/Zero.lean

feat(CategoryTheory/Sites): small `0`-hypercovers (#30321) …

Added CategoryTheory.Precoverage.ZeroHypercover.Small.mem₀ View on Github →