Commit 2026-05-29 13:23 d568c8c0

View on Github →

chore: bump toolchain to v4.31.0-rc1 (#39980)

Estimated changes

deleted theorem List.prod_reverse
modified def WithZero.expOrderIso
modified def WithZero.logOrderIso
added theorem iteratedDeriv_fun_neg
deleted def Distribution.delta
modified theorem Complex.isEquivalent_sin
modified theorem Real.isEquivalent_sin
modified theorem Complex.isEquivalent_sinh
modified theorem Real.isEquivalent_sinh
added theorem Graph.noEdge_isLink
added theorem finCongr_symm_apply
modified theorem Stream'.WSeq.think_equiv
modified theorem IsBaseChange.finrank_eq
modified theorem ModularGroup.re_T_inv_smul
modified theorem PadicAlgCl.valuation_coe
modified theorem CompleteSublattice.bot_mem
modified theorem CompleteSublattice.top_mem
modified theorem TwoSidedIdeal.add_mem
modified theorem TwoSidedIdeal.neg_mem
added def le_inf_test
added def test
added def dummyInst