# Commit 2022-04-14 11:12 936eb7ee

View on Github →feat(analysis/normed_space/finite_dimension): a finite dimensional affine subspace is closed (#13440)

feat(analysis/normed_space/finite_dimension): a finite dimensional affine subspace is closed (#13440)