History of tag 0FXM
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0FXM
|
2020-05-25 |
d60dd58
|
Tags: Added new tags
|
|
created statement with label proposition-regular-strong-generator 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...
|