Statistics for tag 0EQX
Go back to the tag's page.
tag creation |
last update |
May 29, 2018 |
Jul 19, 2019 |
more history
|
Complexity measure
metric |
value |
number of results in proof |
1 |
number of results used in preliminary results |
2379 |
number of chapters used |
47 |
number of sections used |
626 |
number of results (indirectly) using this tag |
20 |
Tags (directly) using this result
- Lemma 82.21.2
in Section 82.21: Intersecting with an invertible sheaf and rational equivalence
(go to statistics)
- Lemma 82.21.3
in Section 82.21: Intersecting with an invertible sheaf and rational equivalence
(go to statistics)