mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

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

Open jjaassoonn opened this issue 3 years ago • 0 comments

Open in Gitpod

jjaassoonn avatar Oct 09 '22 05:10 jjaassoonn