Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-03-28 06:13
73a9c27f
View on Github →
chore(analysis/analytic/basic): golf (
#12965
) Golf a 1-line proof, drop an unneeded assumption.
Estimated changes
Modified
src/analysis/analytic/basic.lean
modified
theorem
has_fpower_series_on_ball.sum