History of tag 0BFI
| type | time | link |
|---|---|---|
| changed the statement | 2020-11-16 | a239a29 |
| changed the proof | 2015-08-31 | d8c1e2e |
| assigned tag 0BFI | 2015-06-05 | 046ea46 |
| created statement with label lemma-degrees-and-numerical-intersections in chow.tex | 2015-06-04 | a4d8e9b |