Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-03-05 16:11 ec9dac3a

View on Github →

chore(*): update to Lean d6d44a19

Estimated changes

Modified data/encodable.lean

Modified data/equiv.lean

Modified data/list/basic.lean

modified theorem list.exists_of_mem_bind

modified theorem list.length_bind

modified theorem list.mem_bind

modified theorem list.mem_bind_of_mem

Modified data/option.lean

added theorem option.seq_some

Modified data/prod.lean

deleted theorem prod.mk.eta

Modified tactic/converter/old_conv.lean