History of tag 0F7R
| type | time | link |
|---|---|---|
| changed the statement | 2022-03-06 | 5671e02 |
| changed the label to lemma-Leta | 2022-03-02 | 15c952e |
| changed the statement and the proof | 2022-03-02 | 15c952e |
| assigned tag 0F7R | 2019-05-10 | d2e9c62 |
| created statement with label remark-Leta in more-algebra.tex | 2019-05-08 | 85dc458 |