History of tag 0GW9
| type | time | link |
|---|---|---|
| assigned tag 0GW9 | 2022-04-04 | 559a490 |
| changed the proof | 2022-04-03 | 33b93da |
| moved the statement to file stacks-morphisms.tex | 2022-04-03 | 4a3579d |
| created statement with label proposition-decent-sober in stacks-properties.tex | 2022-04-03 | 9858023 |