History of tag 0GLY
| type | time | link |
|---|---|---|
| changed the statement | 2023-06-23 | ba01354 |
| changed the statement | 2023-03-22 | 2f68a5d |
| assigned tag 0GLY | 2021-07-20 | d4fff1e |
| created statement with label lemma-neighbourhood-isomorphism in sites-modules.tex | 2021-07-18 | 8c030b9 |