Aspects of differential calculus related to infinite-dimensional vector bundles and Poisson vector spaces
H. Glöckner, Axioms 11 (2022).