History of tag 0D9E
| type | time | link |
|---|---|---|
| changed the statement | 2019-04-06 | 7227972 |
| assigned tag 0D9E | 2017-02-14 | 5a51370 |
| changed the proof | 2017-02-12 | 171de7b |
| created statement with label lemma-derived-cartesian-shriek in spaces-simplicial.tex | 2017-02-10 | 596d70a |