History of tag 0FZN
type | time | link |
---|---|---|
moved the statement to file functors.tex | 2021-12-12 | e0c05ba |
changed the proof | 2020-06-29 | dec10b7 |
assigned tag 0FZN | 2020-05-25 | d60dd58 |
changed the statement and the proof | 2020-05-21 | 46548b9 |
created statement with label lemma-functor-coherent-over-field in equiv.tex | 2020-05-17 | e673ba6 |