History of tag 0EY5
| type | time | link |
|---|---|---|
| changed the proof | 2024-06-17 | 0930990 |
| changed the proof | 2024-06-02 | bb83618 |
| assigned tag 0EY5 | 2018-09-25 | 37dae7d |
| created statement with label lemma-cover-by-geometrically-connected in more-morphisms.tex | 2018-09-18 | bac19bd |