mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(Analysis/PSeries): add Schlömilch's generalization of the Cauchy condensation test

Open deepimpactmir opened this issue 1 year ago • 3 comments
trafficstars

It is my first PR to mathlib4 so comments on how to improve on the formalisation are welcome.

Open in Gitpod

deepimpactmir avatar Dec 04 '23 07:12 deepimpactmir

Hi! I just randomly stumbled over your PR and saw it hasn't been looked at in a while: one reason might be that there's currently a merge conflict - this means it won't show up in the list of reviewable PRs. Cheers! (I'm not quite working in this area, hence can't review this well myself.)

grunweg avatar Mar 25 '24 19:03 grunweg

I have resolved the merge conflict. Thanks for the tip.

deepimpactmir avatar Mar 26 '24 02:03 deepimpactmir

No worries! Thanks for the comments. I'll try to add back the align soon!

deepimpactmir avatar Mar 27 '24 14:03 deepimpactmir

@Ruben-VandeVelde Sorry I got a little busy with life! Thanks for suggesting and making the changes!

deepimpactmir avatar May 09 '24 04:05 deepimpactmir