Jeremy Toh

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

3

It is my first PR to mathlib4 so comments on how to improve on the formalisation are welcome. --- [](https://gitpod.io/from-referrer/)

Fix typo in tactics.md

1

Using `rw [Nat.add_comm b]` should change ``a + (b + c)`` to ``a + (c + b)`` instead. See: https://live.lean-lang.org/#code=example%20(a%20b%20c%20%3A%20Nat)%20%3A%20a%20%2B%20b%20%2B%20c%20%3D%20a%20%2B%20c%20%2B%20b%20%3A%3D%20by%0A%20%20rw%20%5BNat.add_assoc%2C%20Nat.add_comm%20b%2C%20←%20Nat.add_assoc%5D

Weird window closing button being present

3

 For some reason, I have a weird issue of the closing button (top right corner) being present. No idea why it is happening. No changes are...