Commit 2025-04-03 05:22 24d8de9d

View on Github →

chore: bump toolchain to v4.19.0-rc2 (#23614)

Estimated changes

deleted structure Hollom
modified theorem FreeMonoid.not_mem_one
deleted theorem Int.emod_eq_add_self_emod
deleted theorem Int.natCast_succ
deleted theorem Int.toNat_le
deleted theorem Int.toNat_le_toNat
added theorem Int.toNat_lt''
deleted theorem Int.toNat_lt'
deleted theorem Int.toNat_lt_toNat
deleted theorem Int.zero_le_ofNat
modified theorem List.foldr_eta
modified theorem List.insertIdx_injective
modified theorem List.insertIdx_subset_cons
modified theorem Multiset.zero_subset
deleted theorem Nat.dvd_sub'
deleted theorem Nat.dvd_mul
deleted theorem Nat.gcd_add_mul_left_left
deleted theorem Nat.gcd_add_self_left
deleted theorem Nat.gcd_add_self_right
deleted theorem Nat.gcd_mul_left_add_left
deleted theorem Nat.gcd_self_add_left
deleted theorem Nat.gcd_self_add_right
deleted theorem Nat.gcd_self_sub_left
deleted theorem Nat.gcd_self_sub_right
deleted theorem Nat.gcd_sub_self_left
deleted theorem Nat.gcd_sub_self_right
deleted theorem Nat.pow_dvd_pow_iff
deleted theorem Nat.mul_mod_mod
modified theorem Num.ofZNum'_toNat
added theorem Option.bind_congr''
deleted theorem Option.bind_congr
modified theorem PNat.gcd_eq_left_iff_dvd
modified theorem PNat.gcd_eq_right_iff_dvd
modified theorem List.TProd.elim_self
modified theorem and_iff_not_or_not
modified theorem not_and_or
modified theorem or_iff_not_and_not
modified theorem Nat.coprime_mul_succ
modified theorem Nat.Icc_eq_range'
modified theorem Nat.Ico_eq_range'
modified theorem Nat.Ioc_eq_range'
modified theorem Nat.Ioo_eq_range'
modified def Lean.toModifiers
modified def Lean.toPreDefinition
modified theorem List.continuous_insertIdx
deleted def Edits