Def CategoryTheory.Precoverage.ZeroHypercover.weaken

Modification history

2025-10-03 22:56
Mathlib/CategoryTheory/Sites/Hypercover/Zero.lean
feat(CategoryTheory/MorphismProperty): locality conditions (#30164) …
Added CategoryTheory.Precoverage.ZeroHypercover.weakenView on Github →