Go back to the tag's page.
Tags: Added new tags
Lemmas about completion Does the second lemma also hold if I is not finitely generated? Please email if you know.