Go back to the tag's page.
Split pushouts schemes into two sections Also added a couple more lemmas
Tags: Added new tags
Properties of pushouts