unique_prods): replace `*` with `+` in a `to_additive` doc-string (#17710)

Commit

3 years ago

docs(src/algebra/group/unique_prods): replace `*` with `+` in a `to_additive` doc-string (#17710)

Author

adomani

Parents