History of tag 0B3B
| type | time | link |
|---|---|---|
| changed the proof | 2019-08-22 | 61c0299 |
| changed the proof | 2016-08-31 | 8678193 |
| assigned tag 0B3B | 2015-03-12 | be69927 |
| created statement with label lemma-globally-generated-omega-twist-1 in constructions.tex | 2015-03-12 | f42f0ac |