History of tag 0FZQ
| type | time | link |
|---|---|---|
| moved the statement to file functors.tex | 2021-12-12 | e0c05ba |
| assigned tag 0FZQ | 2020-05-25 | d60dd58 |
| changed the statement and the proof | 2020-05-23 | 350309c |
| created statement with label lemma-pushforward-invertible in equiv.tex | 2020-05-21 | c60fd61 |