Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-02 17:42 4e48324b

View on Github →

fix build

Estimated changes

Modified src/data/nat/basic.lean

added theorem nat.add_eq_one_iff

modified theorem nat.le_induction

added theorem nat.mul_eq_one_iff

added theorem nat.mul_left_eq_self_iff

added theorem nat.mul_right_eq_self_iff

Modified src/data/nat/prime.lean

deleted theorem nat.prime.mul_eq_prime_pow_two

added theorem nat.prime.mul_eq_prime_pow_two_iff

Modified src/number_theory/sum_two_squares.lean