Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-05 00:07 c87f1e6e

View on Github →

fix(*): finish lean update

Estimated changes

Modified data/pnat.lean

modified def pnat.pow

added theorem pnat.pow_coe

Modified leanpkg.toml

Modified set_theory/ordinal_notation.lean

Modified tactic/norm_num.lean

Modified tests/norm_num.lean