Mathlib v3 is deprecated. Go to Mathlib v4

Def pnat.pow

Modification history

2019-06-10 08:38
src/data/pnat.lean
feat (data/pnat): extensions to pnat (#1073) …
Deleted pnat.powView on Github →
2018-04-05 00:07
data/pnat.lean
fix(*): finish lean update
Modified pnat.powView on Github →
2018-01-04 09:05
data/pnat.lean
feat(set_theory/ordinal_notation): correctness of ordinal power
Added pnat.powView on Github →