Def CategoryTheory.Precoverage.ZeroHypercover.Small.Index

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.Index View on Github →