Commit 2024-02-01 01:58 edba675d
View on Github →feat: absolute convergence from conditional of power series (#9955) From https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there-code-for-X.3F/topic/Bounds.20on.20alternating.20convergent.20series/near/417504820