History of tag 0FCU
type | time | link |
---|---|---|
assigned tag 0FCU | 2019-08-28 | c905dd0 |
changed the proof | 2019-08-25 | 816b164 |
changed the statement and the proof | 2019-08-25 | 15b78d7 |
created statement with label lemma-perfect-to-K-group-universal in more-algebra.tex | 2019-08-24 | 6e54f30 |