Statistics for tag 01JB
| tag creation | last update | |
|---|---|---|
| Dec 4, 2008 | Jan 2, 2022 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 1 |
| number of chapters used | 1 |
| number of sections used | 1 |
| number of results (indirectly) using this tag | 3613 |
Tags (directly) using this result
- Lemma 26.15.4
in Section 26.15: A representability criterion
(go to statistics) - Lemma 26.16.1
in Section 26.16: Existence of fibre products of schemes
(go to statistics) - Lemma 29.49.9
in Section 29.49: Rational maps
(go to statistics) - Lemma 32.10.5
in Section 32.10: Descending relative objects
(go to statistics) - Lemma 35.13.7
in Section 35.13: Fpqc coverings are universal effective epimorphisms
(go to statistics) - Lemma 35.35.13
in Section 35.35: Fully faithfulness of the pullback functors
(go to statistics) - Lemma 93.9.10
in Section 93.9: Schemes
(go to statistics) - Lemma 106.13.7
in Section 106.13: The Keel-Mori theorem
(go to statistics)