Statistics for tag 00HJ
| tag creation | last update | |
|---|---|---|
| Nov 28, 2008 | Jul 16, 2012 | 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 | 1902 |
Tags (directly) using this result
- Lemma 10.83.2
in Section 10.83: Descent for finite projective modules
(go to statistics) - Lemma 10.136.2
in Section 10.136: Syntomic morphisms
(go to statistics) - Lemma 15.21.5
in Section 15.21: Descent of flatness along integral maps
(go to statistics) - Lemma 35.23.15
in Section 35.23: Properties of morphisms local in the fpqc topology on the target
(go to statistics) - Lemma 38.2.5
in Section 38.2: Lemmas on étale localization
(go to statistics) - Proposition 39.23.9
in Section 39.23: Finite flat groupoids, affine case
(go to statistics)