Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-11-24 03:56 e19cd0f5

View on Github →

fix(*): adding a few @[simp] attributes (#492)

some additional simp lemmas
nat.add_sub_cancel

Estimated changes

Modified data/multiset.lean

modified theorem multiset.add_sub_cancel

modified theorem multiset.add_sub_cancel_left

Modified data/nat/basic.lean

Modified data/rat.lean

modified theorem rat.cast_pow

Modified number_theory/pell.lean