mathlib

338146b7 - 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.