Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-11 04:27 597704ac

View on Github →

chore(*): switch to lean 3.8.0 (#2361) Switch to Lean 3.8.

Estimated changes

modified def Module.of
modified theorem zero_smul
modified theorem abs_le_abs
modified theorem min_add
modified theorem min_sub
modified theorem neg_neg_iff_pos
modified def category_theory.shift
modified theorem list.exists_le_of_sum_le
modified theorem list.exists_lt_of_sum_lt
modified theorem list.length_pos_of_sum_pos
modified theorem prod.map_fst
added theorem prod.map_mk
modified theorem prod.map_snd
modified theorem nnreal.inv_inv
modified structure zsqrtd
modified theorem one_smul
modified theorem tendsto_abs_at_top_at_top
modified def dummy
modified def right_param
modified def wrong_param
modified def u