History of tag 0D5P
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 0D5P
|
2017-02-03 |
668512d
|
Tags: Added new tags
|
|
created statement with label lemma-make-base in topology.tex
|
2017-01-03 |
a221c6e |
Construct a map from a collection of opens
|