History of tag 058M
| type | time | link |
|---|---|---|
| changed the statement | 2011-08-13 | 4ea0b65 |
| changed the proof | 2011-06-18 | d04b117 |
| assigned tag 058M | 2010-09-25 | 4c85c16 |
| changed the statement | 2010-09-25 | d9c4eee |
| created statement with label lemma-flat-universally-injective in algebra.tex | 2010-09-25 | 7f46935 |