Commit 2022-01-14 14:12 201aeaa3
View on Github →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)