continuous_linear_map): generalize typeclass assumptions (#19108)

Commit

2 years ago

feat(analysis/normed_space/continuous_linear_map): generalize typeclass assumptions (#19108)

Author

eric-wieser

Parents