fix(algebra/char_p): typo in docstring (#1537)
fix(algebra/char_p): typo in docstring (#1537)

I don't know anything about semirings but I do know there isn't a homomorphism from int to them in general. Do people talk about kernels? (this would be some semi-ideal or something). My change is probably better than what we had but someone who knows what a semiring is might want to check that my suggestion makes sense.
leanprover-community/mathlib,leanprover-community/mathlib