  We prove necessary and sufficient conditions for the validity of Whitney's
extension theorem in the ultradifferentiable Roumieu setting with controlled
loss of regularity.

Classical Analysis and ODEs;Functional Analysis