Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ring_char.eq_iff

Modification history

2020-11-28 17:42

src/algebra/char_p/basic.lean

chore(algebra/char_p): refactor char_p (#5132)

Added ring_char.eq_iff View on Github →