Theorem TopCat.Presheaf.germ_res

Modification history

2024-10-10 07:55

Mathlib/Topology/Sheaves/Stalks.lean

refactor(Topology/Sheaves): Unbundle `germ`. (#15314)

Modified TopCat.Presheaf.germ_res View on Github →

2023-05-30 09:11

Mathlib/Topology/Sheaves/Stalks.lean

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

Added TopCat.Presheaf.germ_res View on Github →