Theorem TopCat.stalkToFiber_germ

Modification history

2024-10-10 07:55

Mathlib/Topology/Sheaves/LocalPredicate.lean

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

Modified TopCat.stalkToFiber_germ View on Github →

2023-05-31 06:39

Mathlib/Topology/Sheaves/LocalPredicate.lean

feat: port Topology.Sheaves.LocalPredicate (#4497)

Added TopCat.stalkToFiber_germ View on Github →