Text this: Differentiation Theory over Infinite-Dimensional Banach Spaces