Theorem Nat.Nat.pow_succ'

Modification history

2022-06-13 19:31
Mathlib/Init/Data/Nat/Lemmas.lean
feat: port misc linters (#276)
Deleted Nat.Nat.pow_succ'View on Github →
2022-02-23 09:06
Mathlib/Init/Data/Nat/Lemmas.lean
feat: `AddMonoidWithOne`, `AddGroupWithOne` (#206) …
Added Nat.Nat.pow_succ'View on Github →