Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-09 18:06 d13b3a4a

View on Github →

chore(*): update to 3.37.0c (#11325) the major breaking change this version is making default's parameters implicit, as opposed to explicit. there was also some slight "free" golfing due to the better out_param simp support.

Estimated changes

modified theorem finprod_unique
modified theorem linear_map.default_def
modified theorem bool.default_bool
modified theorem finsupp.unique_ext
modified theorem finsupp.unique_ext_iff
modified theorem finsupp.unique_single
modified theorem finset.univ_unique
modified theorem int.default_eq_zero
modified theorem list.take'_nil
modified theorem list.func.get_nil
modified theorem list.func.get_pointwise
modified theorem list.func.nil_pointwise
modified theorem set.default_coe_singleton
modified theorem set.range_unique
modified theorem set.univ_unique
modified theorem string.head_empty
modified theorem equiv.perm.default_perm
modified theorem fin.default_eq_zero
modified theorem unique.default_eq
modified theorem unique.eq_default
modified theorem unique.exists_iff
modified theorem unique.forall_iff
modified theorem infi_unique
modified theorem supr_unique
modified theorem rel_iso.default_def
modified def int_to_a
modified def c
modified def d
modified def f
modified def h
modified def test.eval_default