History of tag 0GCQ
| type | time | link |
|---|---|---|
| assigned tag 0GCQ | 2021-02-08 | bce5e9c |
| changed the statement and the proof | 2021-02-07 | 4047864 |
| changed the statement | 2021-02-05 | ba8b323 |
| created statement with label lemma-rig-smooth-morphisms in restricted.tex | 2021-02-02 | 3a6fcef |