Skip to content
Permalink
Browse files

Tags: Added a new tag

  • Loading branch information...
aisejohan committed Jan 25, 2019
1 parent 69b1948 commit 9a03196aeab1e0507e253916559c450d660bd903
Showing with 1 addition and 0 deletions.
  1. +1 −0 tags/tags
0F2G,algebraization-lemma-local-pic-to-completion
0F2H,algebraization-lemma-trivial-local-pic-regular
0F2I,algebraization-proposition-trivial-local-pic-complete-intersection
0F2J,algebraization-example-grothendieck-sharp

0 comments on commit 9a03196

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.