Skip to content

Commit

Permalink
feat(algebraic_geometry): Gluing presheafed spaces (#10269)
Browse files Browse the repository at this point in the history 


Co-authored-by: erdOne <36414270+erdOne@users.noreply.github.com>
  • Loading branch information
@erdOne
erdOne and erdOne committed Jan 13, 2022
1 parent e6db245 commit 6609204
Show file tree
Hide file tree
Showing 2 changed files with 457 additions and 0 deletions.

0 comments on commit 6609204

Please sign in to comment.