History of tag 0H71
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
assigned tag 0H71
|
2024-06-06 |
e449af6
|
Tags: Added new tags
|
|
created statement with label lemma-mini-separability in algebra.tex
|
2024-05-31 |
4cb0036 |
Better proof of tricky lemma
Thanks to David Rufino who sent a sort of pull request which I then
applied on the command line and edited.
|