History of tag 05A0
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2011-08-13 | 4ea0b65 |
| changed the proof | 2010-09-26 | b587689 |
| assigned tag 05A0 | 2010-09-25 | 4c85c16 |
| changed the statement | 2010-09-25 | d9c4eee |
| created statement with label lemma-ML-ui-descent in algebra.tex | 2010-09-25 | 7f46935 |