History of tag 0EX1
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0EX1
|
2018-09-10 |
9e9168e
|
Tags: Added new tags
|
|
created statement with label lemma-finite-type-eventually-proper in limits.tex
|
2018-09-07 |
a3decc4 |
Improve a proof and add a lemma
Tried to improve the proof of a rather nasty lemma (the nastyness coming
mainly from unneccesary level of generality)...
|