Theorem CategoryTheory.Precoverage.Small.inf

Modification history

2026-02-09 14:35
Mathlib/CategoryTheory/Sites/Hypercover/Zero.lean
feat(Topology/Category): the standard Grothendieck topology on `TopCat` (#34979) …
Added CategoryTheory.Precoverage.Small.infView on Github →