Go back to the tag's page.
Add reference to lemma in flat
Tags: Added new tags
Quasi-finite + pure = finite This is really quite annoying to give a complete proof off. But here it finally is.