Sard's Teorema para espacios de Banach

Question

Dado un mapa suave de %-%-% donde %-%es un espacio de Banach y %-% es un colector liso dimensional finito (por ejemplo, el mapa de punto final para un sistema de control), lo que es el análogo más fuerte del teorema de Sard que contiene.