Godement): define the first term of Godement resolution
#16878

Open

feat(topology/sheaves/Godement): define the first term of Godement resolution #16878

jjaassoonn wants to merge 9 commits into master from jjaassoonn/godement

initial

bcd50850

jjaassoonn added awaiting-review

jjaassoonn added awaiting-CI

jjaassoonn added t-algebraic-geometry

github-actions removed awaiting-CI

alreadydone commented on 2022-10-09

jjaassoonn removed awaiting-review

jjaassoonn added awaiting-author

jjaassoonn commented on 2022-10-09

adopt advice from code review

f8dd430b

alreadydone commented on 2022-10-09

fix

da10a20a

add mono instance

7b843ebb

jjaassoonn requested a review 3 years ago

jjaassoonn removed awaiting-author

jjaassoonn added awaiting-review

jjaassoonn added awaiting-CI

fix

8a63a2b2

add sheaf

5de03a15

fix long lines

a8d8e881

add doc

468821e8

relax assumption

7f56ba3b

jjaassoonn marked this pull request as draft 2 years ago

kim-em added too-late

kim-em removed review request 2 years ago

Reviewers

jcommelin

alreadydone

Assignees

No one assigned

Labels

awaiting-review awaiting-CI t-algebraic-geometry too-late

Milestone

No milestone