Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zero_pow_eq

Modification history

2022-07-01 08:11
src/algebra/group_power/basic.lean
refactor(algebra/group_power): split ring lemmas into a separate file (#15032) …
Modified zero_pow_eqView on Github →
2021-03-12 04:45
src/algebra/group_power/basic.lean
feat(data/polynomial/*): more lemmas, especially for noncommutative rings (#6599)
Added zero_pow_eqView on Github →