History of tag 0F7Z
| type | time | link |
|---|---|---|
| changed the statement | 2022-03-06 | a5e5f67 |
| assigned tag 0F7Z | 2019-05-10 | d2e9c62 |
| changed the statement and the proof | 2019-05-08 | 1777375 |
| created statement with label lemma-eta-vanishing-beta in more-algebra.tex | 2019-05-08 | 85dc458 |