History of tag 0FZI
type | time | link |
---|---|---|
changed the proof | 2021-12-16 | 113ced8 |
moved the statement to file functors.tex | 2021-12-12 | e0c05ba |
assigned tag 0FZI | 2020-05-25 | d60dd58 |
created statement with label lemma-persistence-exactness in equiv.tex | 2020-05-17 | e673ba6 |