History of tag 0FZD
| type | time | link |
|---|---|---|
| changed the proof | 2021-12-14 | 5bcd5b0 |
| changed the proof | 2021-12-13 | 5008682 |
| moved the statement to file functors.tex | 2021-12-12 | e0c05ba |
| assigned tag 0FZD | 2020-05-25 | d60dd58 |
| created statement with label lemma-functor-quasi-coherent-from-affine in equiv.tex | 2020-05-17 | e673ba6 |