History of tag 0F7T
| type | time | link |
|---|---|---|
| changed the statement | 2022-03-02 | c9ad6d3 |
| changed the statement | 2022-03-01 | 1ea9184 |
| assigned tag 0F7T | 2019-05-10 | d2e9c62 |
| changed the proof | 2019-05-08 | 1777375 |
| created statement with label lemma-eta-second-property in more-algebra.tex | 2019-05-08 | 85dc458 |