History of tag 0BUC
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0BUC
|
2015-12-15 |
fc55f0a
|
Tags: Added new tags
|
|
created statement with label lemma-cofinal-in-filtered in categories.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.
|