Statistics for tag 054C
tag creation | last update | |
---|---|---|
Aug 31, 2010 | Aug 3, 2013 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 3 |
number of results used in preliminary results | 8 |
number of chapters used | 4 |
number of sections used | 4 |
number of results (indirectly) using this tag | 1291 |
Tags (directly) using this result
- Lemma 28.2.2
in Section 28.2: Constructible sets
(go to statistics) - Lemma 28.2.5
in Section 28.2: Constructible sets
(go to statistics) - Lemma 28.2.7
in Section 28.2: Constructible sets
(go to statistics) - Lemma 29.22.1
in Section 29.22: Constructible sets
(go to statistics) - Theorem 29.22.3
in Section 29.22: Constructible sets
(go to statistics) - Lemma 29.22.4
in Section 29.22: Constructible sets
(go to statistics) - Lemma 32.4.10
in Section 32.4: Descending properties
(go to statistics) - Lemma 59.71.2
in Section 59.71: Constructible sheaves
(go to statistics) - Lemma 66.8.1
in Section 66.8: Constructible sets
(go to statistics)