Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-18 09:41 7b876a2b

View on Github →

cleanup(data/nat/choose,binomial): move binomial into choose

Estimated changes

Modified data/complex/exponential.lean

Deleted data/nat/binomial.lean

deleted theorem add_pow

Modified data/nat/choose.lean

added theorem add_pow

Modified data/padics/hensel.lean

Modified data/polynomial.lean