Assertion: flatness | /r/HasProperty | determined by the vanishing of some module
Facets:
Source sentences:
text: Flatness is determined by the vanishing of some module (namely ), and since the vanishing set of modules is open (at least in the coherent case) we might expect the flat locus to be open.