Def TopCat.Presheaf.stalkPullbackHom

Modification history

2023-05-30 09:11

Mathlib/Topology/Sheaves/Stalks.lean

feat: port Topology.Sheaves.Stalks (#4449)

Added TopCat.Presheaf.stalkPullbackHom View on Github →