Statistics for tag 00RY
tag creation | last update | |
---|---|---|
Jun 9, 2008 | Aug 14, 2011 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 2 |
number of results used in preliminary results | 6 |
number of chapters used | 1 |
number of sections used | 1 |
number of results (indirectly) using this tag | 3534 |
Tags (directly) using this result
- Lemma 10.131.16
in Section 10.131: Differentials
(go to statistics) - Lemma 10.137.11
in Section 10.137: Smooth ring maps
(go to statistics) - Proposition 10.138.13
in Section 10.138: Formally smooth maps
(go to statistics) - Lemma 29.32.13
in Section 29.32: Sheaf of differentials of a morphism
(go to statistics) - Lemma 93.8.5
in Section 93.8: Rings
(go to statistics)