Go back to the tag's page.
Fix two typos
Tags: Added new tags
Equidimensionality of support of flat module Following EGA IV, Propositon 12.1.1.5