History of tag 07C2
Go back to the tag's page.
| type |
time |
link |
|
created statement with label remark-section-colimits in obsolete.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.
|
|
assigned tag 07C2
|
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.
|