On Whitney-type extension theorems on Banach spaces for C^1,ω, C^1,+, C_loc^1,+, and C_B^1,+-smooth functions - Michal Johanis; Václav Kryštof; Luděk Zajíček (2023)