History of tag 0FJZ
type | time | link |
---|---|---|
changed the statement | 2019-11-27 | f18336a |
assigned tag 0FJZ | 2019-09-15 | 150ef3f |
changed the statement | 2019-09-12 | 094ed45 |
created statement with label lemma-flat-base-change-NL in more-morphisms.tex | 2019-09-11 | 9a72081 |