History of tag 0EX8
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0EX8
|
2018-09-10 |
9e9168e
|
Tags: Added new tags
|
|
created statement with label lemma-triviality-generic-fibre-valuation-ring in more-morphisms.tex
|
2018-09-06 |
e0418cf |
Improve discussion theorem of cube
Only changes in the preliminary lemmas... namely the first one is now
formulated for vector bundles... This has the following pleasing
consequence
If E is trivial on fibres of X ---> Y and Y is reduced, then E is a
pullback if, say X ---> Y is prop flat fam with geom integral fibres
|