Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-03-21 19:31 868bbc6e

View on Github →

fix(*): update to lean

Estimated changes

Modified category/basic.lean

deleted theorem bind_assoc

deleted theorem pure_seq_eq_map

Modified data/list/basic.lean

Modified data/nat/basic.lean

Modified data/option.lean

added theorem option.map_id'

Modified data/pfun.lean

Modified data/seq/computation.lean

Modified data/seq/parallel.lean

Modified data/seq/seq.lean

Modified data/seq/wseq.lean

Modified data/set/lattice.lean

Modified order/filter.lean

Modified tactic/converter/binders.lean

Modified tactic/converter/old_conv.lean