History of tag 0B7M
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2017-12-10 |
41e45ff |
Split pushouts schemes into two sections
Also added a couple more lemmas
|
|
changed the proof
|
2017-07-05 |
8b064e7 |
Properties of pushouts
|
|
changed the statement and the proof
|
2017-07-05 |
4225a4b |
Pushouts of schemes (following Ferrand)
Needed for contracting rational bridges in a future commit
|
|
assigned tag 0B7M
|
2015-04-22 |
e1ef4ca
|
Tags: Added new tags
|
|
created statement with label lemma-pushout-along-closed-immersions in more-morphisms.tex
|
2015-04-20 |
5c69d90 |
Pushouts of schemes along closed immersions
|