Def TopCat.Presheaf.presieveOfCovering.indexOfHom

Modification history

2023-05-21 12:23

Mathlib/Topology/Sheaves/SheafCondition/Sites.lean

feat: port Topology.Sheaves.SheafCondition.Sites (#4150)

Added TopCat.Presheaf.presieveOfCovering.indexOfHom View on Github →