Commit 2025-11-18 10:56 1988a78d

View on Github →

chore: bump toolchain to v4.26.0-rc1 (#31763)

Estimated changes

modified theorem CauSeq.ext
modified theorem UpperHalfPlane.ext
deleted theorem List.mem_finRange
modified theorem PNat.lt_succ_self
modified theorem Rat.intCast_eq_divInt
modified theorem List.asString_eq
modified theorem List.toList_asString
modified theorem String.asString_nil
modified theorem String.asString_toList
modified theorem String.head_empty
modified def String.ltb
modified theorem String.ltb_cons_addChar'
added theorem String.ofList_eq
deleted theorem String.toList_empty
deleted theorem String.toList_inj
modified theorem String.congr_append
modified theorem AdicCompletion.ext
deleted def Std.TreeSet.union