complete local ring

[ریاضیات] حلقه ی موضعی کامل