History of tag 05H0
| type | time | link |
|---|---|---|
| moved the statement to file more-algebra.tex | 2011-04-25 | b254baf |
| changed the statement | 2011-04-25 | b254baf |
| assigned tag 05H0 | 2010-12-07 | 68b68f1 |
| created statement with label lemma-finite-extension in flat.tex | 2010-11-22 | 25205dc |