Go back to the tag's page.
Small improvements to 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.