History of tag 0AUK
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2019-08-22 | 084d830 |
| changed the statement and the proof | 2015-06-29 | 5d219f8 |
| assigned tag 0AUK | 2015-01-06 | 6944879 |
| created statement with label lemma-depth-goes-down-finite in algebra.tex | 2014-12-20 | b9ef3c3 |