Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-01-13 19:43 c75b0721

View on Github →

fix(*): update to lean

Estimated changes

Modified data/array/lemmas.lean

Modified data/list/basic.lean

Modified data/list/perm.lean

Modified data/option.lean

deleted theorem option.none_ne_some

modified theorem option.some_inj

Modified data/rat.lean

Modified data/seq/wseq.lean

Modified set_theory/ordinal_notation.lean

Modified tactic/converter/binders.lean