History of tag 0FF9
type | time | link |
---|---|---|
changed the statement | 2025-06-30 | 3e40a78 |
changed the statement | 2022-03-14 | 71f206c |
assigned tag 0FF9 | 2019-08-28 | c905dd0 |
created statement with label lemma-lci-gysin-product-regular in chow.tex | 2019-08-28 | 3f94af4 |