Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-05 08:42 94d9ac13

View on Github →

fix(finset): removing bad simp lemmas (#491)

Estimated changes

Modified algebra/big_operators.lean

Modified analysis/limits.lean

Modified analysis/measure_theory/outer_measure.lean

Modified data/finset.lean

modified theorem finset.insert.comm

added theorem finset.range_one

modified theorem finset.range_succ

Modified data/nat/choose.lean

Modified data/zmod/quadratic_reciprocity.lean

Modified group_theory/order_of_element.lean