Theorem Nat.pow_eq

Modification history

2022-09-04 16:26
Mathlib/Init/Data/Nat/Lemmas.lean
feat: depend on std4 (#397)
Deleted Nat.pow_eqView on Github →
2022-06-13 19:31
Mathlib/Init/Data/Nat/Lemmas.lean
feat: port misc linters (#276)
Added Nat.pow_eqView on Github →