Property: analytically unramified

Definition: a local ring whose completion is reduced

(No citations retrieved.)

(No metaproperty information retrieved.)