nightly-2024-11-27

Changes since nightly-2024-11-26:

Full commit log

• 609346f feat: relate Nat.fold/foldRev/any/all to List.finRange (#6235)
• 04f80a1 feat: lake: detailed Reservoir fetch error (#6231)
• 7e9dd56 feat: upstream List.finRange from Batteries (#6234)
• 79f050b feat: upstream Vector lemmas (#6233)
• af4a3f2 feat: BitVec.toInt_abs (#6154)
• 7692343 feat: BitVec.toNat BitVec.signExtend (#6155)
• 597ef8c feat: add Nat.mod_eq_sub and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le (#6160)
• 321e148 feat: Array fold lemmas (#6230)
• ce69243 feat: expose diff at "synthesized type class instance is not definitionally equal" error (#6213)
• 23bec25 feat: Nat.lt_pow_self (#6200)
• 3d511a5 feat: USize.size inequalities (#6203)
• 51015bf fix: lake: eager logging when materializing deps (#6225)
• 3ece36d feat: GitHub cloud releases do not clobber prebuilt artifacts (#6218)
• 54c4836 feat: proper let_fun support in simp (#6220)
• 0a22f8f chore: improve consistency & documentation for hash table insert and insertMany (#6222)
• f70b7e5 feat: @[deprecated] requires a replacement identifier or message, and a since field (#6112)