History of tag 064Z
| type | time | link |
|---|---|---|
| changed the proof | 2011-05-06 | 4bacb5e |
| assigned tag 064Z | 2011-04-25 | c3f7120 |
| changed the statement and the proof | 2011-04-25 | 30de830 |
| created statement with label lemma-finite-push-pseudo-coherent in more-algebra.tex | 2011-04-25 | b254baf |