Statistics for tag 040W
| tag creation | last update | |
|---|---|---|
| Jan 8, 2010 | Apr 1, 2015 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 4 |
| number of results used in preliminary results | 6 |
| number of chapters used | 3 |
| number of sections used | 4 |
| number of results (indirectly) using this tag | 1030 |
Tags (directly) using this result
- Lemma 67.8.7
in Section 67.8: Quasi-compact morphisms
(go to statistics) - Proposition 70.8.1
in Section 70.8: Absolute Noetherian approximation
(go to statistics) - Lemma 74.11.1
in Section 74.11: Descending properties of morphisms in the fpqc topology
(go to statistics) - Lemma 100.14.1
in Section 100.14: Finiteness conditions and points
(go to statistics)