再双対空間がわかりません

E: Hom(Hom(Hom(V, W**), V**), V**)
f∈Hom(Hom(V, W**), V**)
c∈V*
v∈V
E(f) = (c -> f((v -> (_ -> c v))(c))