We transpose Delon's analysis of types in valued fields to unramified hense
lian valued fields of mixed characteristic, by using coefficient maps of or
der n. This yields the Ax-Kochen-Ershov transfer principle for the independ
ence property in this class of valued fields.