Go back to the tag's page.
Tags: Added new tags
quasi-finite ---> locally quasi-finite in 2 lemmas
Deformations of maps of schemes: fp over ft A variant of an already existing lemma which we sharpened in a trivial manner