Go back to the tag's page.
Tags: Added new tags
Theorem on when ft + flat => fp plus a bunch of easy consequences.