History of tag 0FXH
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0FXH
|
2020-05-25 |
d60dd58
|
Tags: Added new tags
|
|
changed the proof
|
2020-05-13 |
4dcdc3b |
Clean up material on strong generator
|
|
created statement with label lemma-ghost-lemma in more-algebra.tex
|
2020-05-12 |
4433c5f |
Regularity <=> existence strong generator
Less fun than I thought it would be. Probably because it is awkward to
use the <A>_n notation as we haven't developed enough simple lemmas
about it...
|