Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-12-05 15:23 c43e0132

View on Github →

fix(theories/number_theory/pell,*): fix broken proofs, less simp AC

Estimated changes

Modified algebra/module.lean

modified theorem is_submodule.add_val

modified theorem is_submodule.neg_val

Modified algebra/ring.lean

Modified data/bool.lean

added theorem bool.coe_to_bool

deleted theorem bool.to_bool_bool

Modified data/hash_map.lean

Modified data/list/basic.lean

Modified data/nat/basic.lean

Modified data/nat/gcd.lean

Modified data/nat/sqrt.lean

Modified data/num/lemmas.lean

Modified data/seq/parallel.lean

Modified data/seq/wseq.lean

Modified data/set/basic.lean

Modified data/set/lattice.lean

Modified data/set/prod.lean

Modified theories/number_theory/dioph.lean

Modified theories/number_theory/pell.lean

Modified theories/set_theory.lean