History of tag 0D5R
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2018-08-02 |
f54e0ab |
Change to please XyJax
Following a suggestion by Pieter Belmans
https://github.com/gerby-project/plastex/issues/21#issuecomment-409915977
|
|
changed the statement
|
2018-02-12 |
a355c42 |
Changes to placate XyJax
Not sure all three of these will work, but no harm done if not
|
|
assigned tag 0D5R
|
2017-02-03 |
668512d
|
Tags: Added new tags
|
|
created statement with label lemma-localize-cocontinuous-downstairs in sites.tex
|
2017-01-31 |
d1c221f |
Yet another lemma on localization
This lemma can be used to study pushforward locally on the base in the
case of a morphism of topoi given by a cocontinuous functor.
|