Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-12-14 11:08 2dbf07a8

View on Github →

chore(.): adapt to change by_cases t with h to by_cases h : t 746134d11ceec378a53ffd3b7ab8626fb291f3bd

Estimated changes

Modified analysis/ennreal.lean

Modified analysis/measure_theory/measurable_space.lean

Modified data/array/lemmas.lean

Modified data/equiv.lean

modified theorem equiv.set.image_apply

modified theorem equiv.set.range_apply

Modified data/finset.lean

Modified data/finsupp.lean

Modified data/hash_map.lean

Modified data/list/basic.lean

Modified data/list/perm.lean

Modified data/list/sort.lean

Modified data/multiset.lean

Modified data/nat/basic.lean

Modified data/nat/modeq.lean

Modified data/nat/pairing.lean

Modified data/nat/prime.lean

Modified data/ordinal.lean

Modified data/rat.lean