stalks): Generalize to `stalk_pushforward_iso_of_inducing`
#17539

Open

feat(topology/sheaves/stalks): Generalize to `stalk_pushforward_iso_of_inducing` #17539

erdOne wants to merge 2 commits into master from stalk_pushforward_iso_of_inducing

first commit

6372c635

erdOne added awaiting-review

erdOne added t-topology

erdOne added t-algebraic-geometry

erdOne requested a review 3 years ago

kim-em removed awaiting-review

kim-em added awaiting-author

kim-em added merge-conflict

attempt merge

4f80347d

kim-em removed merge-conflict

kim-em added awaiting-CI

github-actions removed awaiting-CI

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

awaiting-author t-topology t-algebraic-geometry too-late

Milestone

No milestone