History of tag 046O
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2011-08-13 |
4ea0b65 |
Whitespace changes
|
|
assigned tag 046O
|
2010-01-29 |
49580f9
|
Tags: added new tags
|
|
created statement with label lemma-quotient-pre-equivalence in spaces-groupoids.tex
|
2010-01-28 |
dad1b88 |
Groupoids: Fix dumb error.
The error was not realizing that ``relation generated by'' is
a kind of tricky operation...
This basically has no further ramifications since we only used
the result in situations where the the pre-relation is actually
a pre-equivalence relation (which would be better named a
equivalence pre-relation).
|