chore(algebra/char_p): ring_char.eq is better in the other direction, with instances, and explicit arguments (#11439)
chore(algebra/char_p): ring_char.eq is better in the other direction, with instances, and explicit arguments (#11439)





leanprover-community/mathlib,leanprover-community/mathlib