Skip to content

Commit

Permalink
Tags: Added new tags
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jul 15, 2015
1 parent 0933a35 commit e70d570
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions tags/tags
Expand Up @@ -14612,3 +14612,11 @@
0BM1,categories-remark-motivation-localization
0BM2,categories-definition-left-localization-as-fraction
0BM3,categories-definition-right-localization-as-fraction
0BM4,more-algebra-lemma-integral-closure-reflexive
0BM5,dualizing-lemma-annihilate-Hp
0BM6,dualizing-lemma-fully-faithful-minimal
0BM7,dualizing-section-local-purity
0BM8,dualizing-lemma-sections-over-punctured-spec
0BM9,dualizing-lemma-reformulate-purity-normal
0BMA,dualizing-lemma-local-purity
0BMB,dualizing-lemma-purity

0 comments on commit e70d570

Please sign in to comment.