History of tag 0BYP
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2021-04-02 |
d9792a3 |
Snafu with lemma characterizing relatively perfect
Thanks to Noah Olander catching this
|
|
changed the statement
|
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...
|
|
assigned tag 0BYP
|
2016-02-17 |
b6a853e
|
Tags: Added new tags
|
|
created statement with label lemma-lift-bounded-pseudo-coherent-to-perfect in more-algebra.tex
|
2016-02-16 |
da60969 |
Missing lemma on perfectness in more-algebra
|