Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-22 03:06 6796beeb

View on Github →

chore(algebra/char_p/basic): generalize to non_assoc_semiring (#7985)

Estimated changes

modified theorem char_p.congr
modified theorem char_p.exists
modified theorem char_p.exists_unique