Theorem Nat.Nat.pow_eq

Modification history

2022-06-13 19:31

Mathlib/Init/Data/Nat/Lemmas.lean

feat: port misc linters (#276)

Deleted Nat.Nat.pow_eq View on Github →

2022-02-23 09:06

Mathlib/Init/Data/Nat/Lemmas.lean

feat: `AddMonoidWithOne`, `AddGroupWithOne` (#206) …

Added Nat.Nat.pow_eq View on Github →