Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ring_char.spec

Modification history

2020-11-28 17:42

src/algebra/char_p/basic.lean

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

Modified ring_char.spec View on Github →

2018-11-05 17:58

algebra/char_p.lean

feat(algebra/char_p): define the characteristic of a semiring

Added ring_char.spec View on Github →