mathlib3

fix(algebra/char_p): typo in docstring

#1537

Merged