Skip to content

feat(Topology/Sheaves/Stalks): Generalize to `stalkPushforward_iso_of… #12030

feat(Topology/Sheaves/Stalks): Generalize to `stalkPushforward_iso_of…

feat(Topology/Sheaves/Stalks): Generalize to `stalkPushforward_iso_of… #12030