banach): add `continuous_linear_equiv.of_bijective` (#2774)

Commit

5 years ago

feat(analysis/normed_space/banach): add `continuous_linear_equiv.of_bijective` (#2774)

Author

urkud

Parents