# Property: complete local

Definition: $R$ is a local ring in which the canonical map into the completion at the maximal ideal is an isomorphism.

(No citations retrieved.)

(No metaproperty information retrieved.)