History of tag 04MV
Go back to the tag's page.
type |
time |
link |
assigned tag 04MV
|
2010-05-26 |
eb64be2
|
Tags: added new tags
|
created statement with label lemma-restrict-property 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.
|