History of tag 0FNT
| type | time | link |
|---|---|---|
| changed the proof | 2024-06-17 | 0930990 |
| assigned tag 0FNT | 2019-11-14 | 05a8b82 |
| changed the statement and the proof | 2019-11-06 | bd621ec |
| created statement with label lemma-invertible-derived in more-algebra.tex | 2019-11-05 | 22f23db |