finite_dimension): finite-dimensionality of spaces of continuous linear map (#10259)

Commit

4 years ago

feat(analysis/normed_space/finite_dimension): finite-dimensionality of spaces of continuous linear map (#10259)

Author

sgouezel

Parents