History of tag 0153
| type | time | link |
|---|---|---|
| changed the statement | 2019-08-25 | 4262a02 |
| assigned tag 0153 | 2011-02-09 | eb88411 |
| changed the statement | 2011-02-09 | eb88411 |
| created statement with label lemma-derived-compare-triangles-ses in derived.tex | 2011-02-08 | 7798522 |