Def TopCat.Presheaf.SheafCondition.mapConeFork

Modification history

2023-10-21 06:49

Mathlib/Topology/Sheaves/Forget.lean

feat: universe generalizations in UniqueGluing and Forget (#7654) …

Deleted TopCat.Presheaf.SheafCondition.mapConeFork View on Github →

2023-05-27 13:11

Mathlib/Topology/Sheaves/Forget.lean

feat: port Topology.Sheaves.Forget (#4407)

Added TopCat.Presheaf.SheafCondition.mapConeFork View on Github →