minimal extension

[ریاضیات] توسیع کهین