History of tag 0BI9
| type | time | link |
|---|---|---|
| moved the statement to file etale.tex | 2016-05-12 | ea1587e |
| changed the statement | 2016-05-12 | ea1587e |
| assigned tag 0BI9 | 2015-06-20 | 4d9b5ef |
| created statement with label definition-strict-normal-crossings in resolve.tex | 2015-06-17 | 7b27cff |