Commit 2022-04-14 11:12 936eb7ee

View on Github →

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

Estimated changes