mathlib3
43fb5162 - doc(analysis/normed_space): fixed normed_star_monoid doc-string (#12296)

Commit

3 years ago

doc(analysis/normed_space): fixed normed_star_monoid doc-string (#12296) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents