mathlib3
1d4400c1 - feat(analysis/normed_space): controlled surjectivity (#8498)

Commit

4 years ago

feat(analysis/normed_space): controlled surjectivity (#8498) From LTE.

Author

PatrickMassot

PatrickMassot

Parents

Loading