Mathlib v3 is deprecated. Go to Mathlib v4

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)

Estimated changes