Smooth extensions of functions on separable Banach spaces

Abstract

Let X be a Banach space with a separable dual X*. Let Y subset of X be a closed subspace, and f : Y -> R a C(1)-smooth function. Then we show there is a C(1) extension of f to X.