Go back to the tag's page.
Fix a couple of double word mistakes
Tags: Added new tags Also fixed a reference.
Formal smoothness lci locus in Hilbert stack Just one more property to go: surjectivity.