Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-07-28 16:56 bfe2db7f

View on Github →

fix(*): adapt to lean

Estimated changes

Modified algebra/group.lean

Modified data/list/basic.lean

deleted def list.filter_map

Modified data/rat.lean

Modified pending/default.lean

deleted theorem nat.shiftl_succ

deleted theorem nat.shiftl_zero

Modified tactic/converter/binders.lean