Def TopCat.Presheaf.SheafCondition.OpensLeCover.homToIndex

Modification history

2023-05-23 15:02

Mathlib/Topology/Sheaves/SheafCondition/OpensLeCover.lean

feat: port Topology.Sheaves.SheafCondition.OpensLeCover (#4273)

Added TopCat.Presheaf.SheafCondition.OpensLeCover.homToIndex View on Github →