basic): generalize some results to actions by normed_rings

Commit

2 years ago

refactor(analysis/normed_space/basic): generalize some results to actions by normed_rings

Author

eric-wieser

Parents