Statistics for tag 02TX
tag creation | last update | |
---|---|---|
Jun 15, 2009 | Jul 19, 2019 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 6 |
number of results used in preliminary results | 1022 |
number of chapters used | 30 |
number of sections used | 290 |
number of results (indirectly) using this tag | 129 |
Tags (directly) using this result
- Lemma 42.36.3
in Section 42.36: Projective space bundle formula
(go to statistics) - Lemma 42.38.2
in Section 42.38: Intersecting with Chern classes
(go to statistics) - Lemma 42.43.1
in Section 42.43: The splitting principle
(go to statistics) - Lemma 42.44.1
in Section 42.44: Chern classes and sections
(go to statistics) - Lemma 45.6.1
in Section 45.6: Projective space bundle formula
(go to statistics) - Lemma 45.8.5
in Section 45.8: Cycles over non-closed fields
(go to statistics) - Lemma 82.27.2
in Section 82.27: Projective space bundle formula
(go to statistics)