Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-08 00:35 03d5bd97

View on Github →

fix(*): update to lean

Estimated changes

Modified .travis.yml

Modified algebra/group_power.lean

modified theorem div_pow

modified theorem division_ring.inv_pow

modified theorem inv_gpow

modified theorem inv_pow

modified theorem mul_pow

modified theorem one_div_pow

modified theorem pow_abs

modified theorem pow_inv

modified theorem pow_inv_comm

modified def powers

Modified analysis/limits.lean

Modified analysis/measure_theory/outer_measure.lean

Modified data/int/basic.lean

modified theorem int.shiftl_eq_mul_pow

modified theorem int.shiftr_eq_div_pow

Modified data/nat/sqrt.lean

Modified data/pnat.lean

modified theorem pnat.pow_coe

Modified group_theory/subgroup.lean

modified theorem exists_pow_eq_one

modified theorem is_subgroup_range_gpow

modified theorem order_eq_card_range_gpow

modified theorem pow_eq_mod_order_of

modified theorem pow_order_of_eq_one

Modified leanpkg.toml

Modified linear_algebra/multivariate_polynomial.lean

Modified number_theory/pell.lean

Modified set_theory/cardinal.lean

modified theorem cardinal.nat_cast_pow

Modified set_theory/cofinality.lean

Modified set_theory/ordinal.lean

modified theorem ordinal.mul_omega_power_power

modified theorem ordinal.nat_cast_power

Modified set_theory/ordinal_notation.lean

added theorem onote.power_def

modified theorem onote.repr_power

Modified tactic/ring.lean

modified theorem tactic.ring.pow_add_rev

modified theorem tactic.ring.pow_add_rev_right