Mathlib v3 is deprecated. Go to Mathlib v4

Theorem neg_one_eq_one_iff

Modification history

2021-11-30 16:52

src/algebra/char_p/two.lean

feat(algebra/char_p/two): couple more lemmas + 🏌️ (#10467)

Added neg_one_eq_one_iff View on Github →