Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-13 05:08
6a78c174
View on Github →
chore(PowerSeries/Basic): drop a
DecidableEq
assumption (
#10434
)
Estimated changes
Modified
Mathlib/RingTheory/PowerSeries/Basic.lean
modified
theorem
MvPowerSeries.coeff_truncFun