Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-27 16:05 74f09d0d

View on Github →

chore(algebra/char_p): remove some decidable_eq assumptions (#1492)

  • chore(algebra/char_p): remove some decidable_eq assumptions
  • fix build

Estimated changes

modified theorem char_p.char_is_prime