Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-28 07:50 abb3121f

View on Github →

chore(*): more line lengths (#6472)

Estimated changes

modified theorem turing.blank_extends.refl
modified theorem pi.uncurry_curry_continuous
modified theorem map_eq_bind_pure_comp
modified def except_t.call_cc
modified theorem complex.of_real_smul
modified theorem set.indicator_finset_sum
modified theorem multiset.nodup_add_of_nodup
modified theorem multiset.nodup_map
modified theorem multiset.nodup_union
modified theorem mv_polynomial.eval₂_sub
modified theorem enat.to_with_top_coe'
modified theorem one_le_padic_val_nat_of_dvd
modified theorem padic_val_nat_primes
modified theorem padic_val_rat_of_nat
modified theorem pfunctor.M.cases_on_mk'
modified theorem pfunctor.M.isubtree_cons
modified theorem mvqpf.supp_eq
modified def mvqpf.cofix.corec'
modified def mvqpf.fix.drec
modified theorem set.countable.bUnion
modified theorem set.countable.union
modified theorem set.left_inv_on.comp
modified theorem set.sInter_insert
modified theorem set.sUnion_insert
modified theorem sum.lex_acc_inr