History of tag 065G
| type | time | link |
|---|---|---|
| changed the proof | 2013-08-03 | badd58f |
| assigned tag 065G | 2011-04-25 | c3f7120 |
| changed the statement and the proof | 2011-04-25 | 30de830 |
| created statement with label lemma-add-variable-pseudo-coherent in more-algebra.tex | 2011-04-25 | b254baf |