History of tag 0G6M
type | time | link |
---|---|---|
changed the proof | 2022-05-03 | 483a804 |
assigned tag 0G6M | 2020-12-15 | 4351fc1 |
changed the proof | 2020-12-11 | fa6653e |
created statement with label lemma-factor-through-K-flat in more-algebra.tex | 2020-12-11 | c13f71e |