PR #900 feat(analysis/normed_space): open mapping

feat(analysis/normed_space): open mapping #900

ChrisHughes24 merged 5 commits into master from open_mapping

sgouezel requested a review 7 years ago

robertylewis changed the title ~~Open mapping 2~~ feat(analysis/normed_space): open mapping 7 years ago

cipher1024 assigned

PatrickMassot 7 years ago

The Banach open mapping theorem

cb081868

improve comments

39e909b4

feat(analysis/normed_space): rebase, fix build

eba7702c

sgouezel force pushed from c75336b3 to eba7702c 7 years ago

Merge branch 'master' into open_mapping

c182e641

PatrickMassot added ready-to-merge

PatrickMassot approved these changes on 2019-04-30

Merge branch 'master' into 'open_mapping'

167a2f12

ChrisHughes24 merged 8dcce05f into master 7 years ago

ChrisHughes24 deleted the open_mapping branch 7 years ago

Reviewers

PatrickMassot

Assignees

PatrickMassot

Labels

ready-to-merge

Milestone

No milestone