Statistics for tag 02N1
| tag creation | last update | |
|---|---|---|
| Jul 14, 2009 | Aug 10, 2011 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 4 |
| number of chapters used | 1 |
| number of sections used | 2 |
| number of results (indirectly) using this tag | 860 |
Tags (directly) using this result
- Lemma 12.31.4
in Section 12.31: Inverse systems
(go to statistics) - Lemma 12.31.7
in Section 12.31: Inverse systems
(go to statistics) - Lemma 15.86.1
in Section 15.86: Rlim of abelian groups
(go to statistics) - Lemma 15.93.6
in Section 15.93: Derived completion for a principal ideal
(go to statistics) - Lemma 18.42.4
in Section 18.42: Constant sheaves
(go to statistics) - Lemma 30.23.1
in Section 30.23: Coherent formal modules
(go to statistics) - Lemma 52.10.7
in Section 52.10: Algebraization of local cohomology, III
(go to statistics)