mathlib
1370b7fe - Prove Dirichlet's test for complex sequences

Commit

3 years ago

Prove Dirichlet's test for complex sequences

References

ecstatic/dirichlet-test-c

Author

ecstatic-morse

ecstatic-morse

Committer

ecstatic-morse

ecstatic-morse

Parents

Loading