Go back to the tag's page.
Tags: Added new tags
A generalization of going down for flat The support of a finite module flat over the base satisfies going down. Sometimes useful.