History of tag 07PA
| type | time | link |
|---|---|---|
| assigned tag 07PA | 2012-04-27 | 0cd691b |
| changed the label to lemma-J-0-goes-down | 2012-04-22 | 421c19b |
| changed the statement | 2012-04-22 | 421c19b |
| created statement with label lemma-J-0-go-down in more-algebra.tex | 2012-04-22 | 3dc7b90 |