# mathlibdocumentation

analysis.calculus.affine_map

# Smooth affine maps #

This file contains results about smoothness of affine maps.

## Main definitions: #

• continuous_affine_map.times_cont_diff: a continuous affine map is smooth
theorem continuous_affine_map.times_cont_diff {𝕜 : Type u_1} {V : Type u_2} {W : Type u_3} [normed_group V] [ V] [normed_group W] [ W] {n : with_top } (f : V →A[𝕜] W) :
f

A continuous affine map between normed vector spaces is smooth.