History of tag 07C3
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file algebra.tex
|
2015-12-14 |
d89696d |
Fix proof of 0BSI using 07C3
Thanks to Takashi Suzuki for a discussion and suggesting how to
move things around to get a nice proof.
|
|
changed the proof
|
2015-12-14 |
d89696d |
Fix proof of 0BSI using 07C3
Thanks to Takashi Suzuki for a discussion and suggesting how to
move things around to get a nice proof.
|
|
assigned tag 07C3
|
2011-12-22 |
0ffbd53
|
TAGS: added new tags
|
|
created statement with label lemma-when-colimit in smoothing.tex
|
2011-12-19 |
2005e9e |
Lemma about colimits of algebras
Simple criterion for when an algebra is a filtered colimit of
algebras of a certain type.
|