Statistics for tag 02O0
| tag creation | last update | |
|---|---|---|
| Jul 14, 2009 | Aug 30, 2010 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 67 |
| number of chapters used | 12 |
| number of sections used | 34 |
| number of results (indirectly) using this tag | 544 |
Tags (directly) using this result
- Lemma 30.20.8
in Section 30.20: The theorem on formal functions
(go to statistics) - Lemma 33.38.1
in Section 33.38: One dimensional Noetherian schemes
(go to statistics) - Lemma 67.20.12
in Section 67.20: Affine morphisms
(go to statistics) - Lemma 69.22.8
in Section 69.22: The theorem on formal functions
(go to statistics)