mathlib3
f331648c - feat(analysis/normed_space): normed_algebra.to_topological_algebra (#6779)

Commit

4 years ago

feat(analysis/normed_space): normed_algebra.to_topological_algebra (#6779) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents