Statistics for tag 07NG
| tag creation | last update | |
|---|---|---|
| Apr 15, 2012 | Apr 27, 2012 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 2 |
| number of results used in preliminary results | 139 |
| number of chapters used | 7 |
| number of sections used | 42 |
| number of results (indirectly) using this tag | 300 |
Tags (directly) using this result
- Lemma 10.166.1
in Section 10.166: Geometrically regular algebras
(go to statistics) - Lemma 10.166.3
in Section 10.166: Geometrically regular algebras
(go to statistics) - Lemma 15.47.4
in Section 15.47: The singular locus
(go to statistics) - Lemma 54.11.2
in Section 54.11: Base change to the completion
(go to statistics) - Lemma 54.13.1
in Section 54.13: Implied properties
(go to statistics) - Lemma 54.13.3
in Section 54.13: Implied properties
(go to statistics) - Theorem 54.14.5
in Section 54.14: Resolution
(go to statistics) - Lemma 89.7.1
in Section 89.7: Implied properties
(go to statistics) - Lemma 89.7.2
in Section 89.7: Implied properties
(go to statistics) - Theorem 89.8.3
in Section 89.8: Resolution
(go to statistics)