History of tag 0GMJ
type | time | link |
---|---|---|
assigned tag 0GMJ | 2021-09-14 | fac02ec |
changed the proof | 2021-09-10 | de6f317 |
changed the proof | 2021-08-11 | 99b4b4c |
created statement with label lemma-normalization in stacks-morphisms.tex | 2021-08-09 | bba4aa1 |