History of tag 0E25
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2018-08-11 |
fe05621 |
Use lemma from commit 964258e6
This actually shortens the exposition for once.
|
|
changed the statement and the proof
|
2017-12-10 |
41e45ff |
Split pushouts schemes into two sections
Also added a couple more lemmas
|
|
assigned tag 0E25
|
2017-07-05 |
8d0a2ad
|
Tags: Added new tags
|
|
changed the label to proposition-pushout-along-closed-immersion-and-integral
|
2017-07-05 |
8b064e7 |
Properties of pushouts
|
|
changed the statement
|
2017-07-05 |
8b064e7 |
Properties of pushouts
|
|
created statement with label proposition-pushout-along-closed-immersion-and-affine in more-morphisms.tex
|
2017-07-05 |
4225a4b |
Pushouts of schemes (following Ferrand)
Needed for contracting rational bridges in a future commit
|