Mathlib v3 is deprecated. Go to Mathlib v4

Theorem order_of_neg_one

Modification history

2021-11-30 16:52

src/algebra/char_p/two.lean

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

Added order_of_neg_one View on Github →