History of tag 0376
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2023-06-27 |
e080322 |
Coding style fixes mostly
|
changed the proof
|
2023-06-27 |
33a2547 |
Proofs contributed by Clément Baillet, Colin Hamon, Jérémy Gerin
Thanks to Kestutis Cesnavicius, Clément Baillet, Colin Hamon, Jérémy Gerin
(Small edits were made to make the material compile.)
|
assigned tag 0376
|
2009-09-04 |
210358f
|
Added new tags
modified: tags/tags
|
created statement with label lemma-image-connected-space in topology.tex
|
2009-08-31 |
e9a6e57 |
Topology: Some lemmas on connected components of spaces
modified: topology.tex
|