mathlib
33feceeb - spaces of continuous linear maps are finite-dimensional

Commit

4 years ago

spaces of continuous linear maps are finite-dimensional

Author

sgouezel

sgouezel

Parents

Loading