Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.cast_pow_eq_one

Modification history

2022-03-04 17:34
src/algebra/char_zero.lean
feat(algebra/char_zero): cast(_pow)_eq_one (#12429)
Added nat.cast_pow_eq_oneView on Github →