Commit 2026-08-11 00:21 de5ce8a9

View on Github →

chore: bump toolchain to v4.34.0-rc1 (#42619)

Estimated changes

deleted def Cache.Test.assert
modified theorem Ring.inverse_of_isUnit
modified theorem WithZero.exp_nsmul
modified theorem WithZero.exp_zsmul
modified theorem Set.mulIndicator_of_mem
modified theorem Set.mulIndicator_of_notMem
modified theorem Real.sSup_of_not_bddAbove
modified theorem WithBot.bot_mul
modified theorem WithBot.mul_bot
modified theorem WithTop.mul_top
modified theorem WithTop.top_mul
modified theorem Complex.log_inv
modified theorem ENNReal.log_zero
modified def IncidenceAlgebra.zeta
modified theorem IncidenceAlgebra.zeta_of_le
modified theorem Finsupp.filter_apply_neg
modified theorem Finsupp.filter_apply_pos
modified theorem Int.strongRec_of_lt
modified theorem Real.sign_of_neg
modified theorem Real.sign_of_pos
modified theorem Real.sign_zero
modified theorem sign_neg
modified theorem sign_pos
modified theorem Function.subtypeNeLift_self
modified theorem finite_compl_fixedBy_swap
modified theorem MulChar.one_apply_coe
modified theorem FractionalIdeal.count_zero
modified theorem PowerSeries.coeff_one_X
modified theorem Associates.count_reducible
modified theorem WittVector.coeff_p_one
deleted theorem XY'
deleted theorem XY
deleted theorem YX'
deleted theorem YX