Commit 2024-10-04 03:33 1c37f1e9

View on Github →

chore: bump toolchain to v4.13.0-rc2 (#17377) This merges the already reviewed bump/v4.13.0 branch.

Estimated changes

deleted theorem List.countP_join
deleted theorem List.count_join
deleted theorem Nat.pos_of_neZero
deleted theorem NeZero.ne'
deleted theorem NeZero.ne
deleted theorem neZero_iff
deleted theorem neZero_zero_iff_false
deleted theorem Functor.map_map
deleted theorem map_bind
deleted theorem Fin.cast_refl
modified theorem Fin.ofNat'_one
modified theorem Fin.ofNat'_zero
deleted theorem Fin.one_eq_zero_iff
deleted theorem Fin.zero_eq_one_iff
deleted theorem List.foldl_assoc
deleted theorem List.foldr_assoc
deleted theorem List.getElem_attach
deleted theorem List.getLast?_eq_none
deleted theorem List.getLast?_isSome
deleted theorem List.map_tail
deleted theorem List.mem_of_mem_getLast?
deleted theorem List.mem_of_mem_head?
deleted theorem List.singleton_inj
deleted theorem List.mem_of_mem_tail
deleted theorem List.getLast_tail
modified theorem List.Nodup.diff_eq_filter
deleted theorem List.Perm.foldr_eq'
modified theorem List.Sorted.merge
deleted theorem List.map_merge
modified theorem Nat.bitIndices_one
modified theorem Nat.bitIndices_zero
added theorem Nat.binaryRec_one
modified theorem Nat.bodd_one
modified theorem Nat.div2_one
modified theorem Nat.div2_succ
deleted theorem Nat.xor_self
deleted theorem Nat.xor_zero
deleted theorem Nat.zero_xor
deleted theorem Nat.lt_one_iff
deleted theorem Nat.mod_mul_mod
deleted theorem Option.map_bind
deleted theorem Option.map_pbind
deleted theorem Option.pmap_eq_none_iff
deleted theorem Option.pmap_eq_some_iff
deleted theorem Option.pmap_none
deleted theorem Option.pmap_some
deleted theorem Option.mem_toList
modified theorem Prod.lex_iff
modified theorem LinearMap.dualMap_eq_lcomp
modified theorem toZ_of_lt