History of tag 04MZ
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 04MZ
|
2010-05-26 |
eb64be2
|
Tags: added new tags
|
|
created statement with label lemma-max-slice in more-groupoids.tex
|
2010-05-25 |
ee6be04 |
More Groupoids: Split out slicing lemmas
We split the argument in the proof of Bootstrap, Lemma Tag 0489
into separated pieces and put them in More on Groupoids. This
will let us recycle those pieces in the (far) future.
|