feat(algebra/char_zero): add char_zero lemma for ordered_semirings (#6038)
feat(algebra/char_zero): add char_zero lemma for ordered_semirings (#6038)

Relevant Zulip chat:

https://leanprover.zulipchat.com/#narrow/stream/113489-new-members





leanprover-community/mathlib,leanprover-community/mathlib