Statistics for tag 03IR
tag creation | last update | |
---|---|---|
Oct 20, 2009 | Jun 18, 2011 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 2 |
number of results used in preliminary results | 682 |
number of chapters used | 24 |
number of sections used | 179 |
number of results (indirectly) using this tag | 1089 |
Tags (directly) using this result
- Lemma 66.20.1
in Section 66.20: Supports of abelian sheaves
(go to statistics) - Lemma 66.20.2
in Section 66.20: Supports of abelian sheaves
(go to statistics) - Lemma 67.6.5
in Section 67.6: Open morphisms
(go to statistics) - Lemma 67.9.5
in Section 67.9: Universally closed morphisms
(go to statistics) - Lemma 67.38.10
in Section 67.38: Unramified morphisms
(go to statistics) - Lemma 67.50.1
in Section 67.50: Separated, locally quasi-finite morphisms
(go to statistics) - Lemma 68.18.6
in Section 68.18: Points of fibres
(go to statistics) - Lemma 70.22.1
in Section 70.22: Refined Noetherian valuative criteria
(go to statistics) - Lemma 76.48.11
in Section 76.48: Local complete intersection morphisms
(go to statistics)