Statistics for tag 0D6E
tag creation | last update | |
---|---|---|
Jan 2, 2017 | Feb 3, 2017 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 2 |
number of results used in preliminary results | 138 |
number of chapters used | 7 |
number of sections used | 49 |
number of results (indirectly) using this tag | 175 |
Tags (directly) using this result
- Lemma 21.20.5
in Section 21.20: Some properties of K-injective complexes
(go to statistics) - Lemma 59.99.2
in Section 59.99: Comparing big and small topoi
(go to statistics) - Lemma 59.100.6
in Section 59.100: Comparing fppf and étale topologies
(go to statistics) - Lemma 84.5.3
in Section 84.5: Comparing big and small topoi
(go to statistics) - Lemma 84.6.5
in Section 84.6: Comparing fppf and étale topologies
(go to statistics) - Lemma 84.8.5
in Section 84.8: Comparing ph and étale topologies
(go to statistics) - Lemma 96.22.2
in Section 96.22: Comparison
(go to statistics)