Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - feat(number_theory/arithmetic_function): moebius is the inverse of zeta #5001

Closed
wants to merge 38 commits into from
Closed

[Merged by Bors] - feat(number_theory/arithmetic_function): moebius is the inverse of zeta #5001

wants to merge 38 commits into from

Conversation

awainverse
Copy link
Collaborator

@awainverse awainverse commented Nov 14, 2020 •
edited by github-actions bot
Loading

@awainverse awainverse added the blocked-by-other-PR This PR depends on another PR which is still in the queue. A bot manages this label via PR comment. label Nov 14, 2020
@awainverse awainverse added the WIP Work in progress label Nov 14, 2020
@awainverse
Copy link
Collaborator Author

I've marked it WIP because this turned out larger than I thought, I might split it.

@github-actions github-actions bot added the merge-conflict Please `git merge origin/master` then a bot will remove this label. label Nov 14, 2020
@github-actions github-actions bot removed the merge-conflict Please `git merge origin/master` then a bot will remove this label. label Nov 14, 2020
@github-actions github-actions bot added the merge-conflict Please `git merge origin/master` then a bot will remove this label. label Nov 18, 2020
@github-actions github-actions bot removed the merge-conflict Please `git merge origin/master` then a bot will remove this label. label Nov 18, 2020
@awainverse awainverse added awaiting-review The author would like community review of the PR and removed WIP Work in progress blocked-by-other-PR This PR depends on another PR which is still in the queue. A bot manages this label via PR comment. labels Nov 18, 2020
@awainverse awainverse mentioned this pull request Nov 19, 2020
Closed
1 task
jcommelin
jcommelin approved these changes Nov 20, 2020
View reviewed changes
Copy link
Member

@jcommelin jcommelin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks 🎉

bors merge

@github-actions github-actions bot added ready-to-merge All that is left is for bors to build and merge this PR. (Remember you need to say `bors r+`.) and removed awaiting-review The author would like community review of the PR labels Nov 20, 2020
bors bot pushed a commit that referenced this pull request Nov 20, 2020
@awainverse @jalex-stark
feat(number_theory/arithmetic_function): moebius is the inverse of ze…
de76acd 
…ta (#5001)

Proves the most basic version of moebius inversion: that the moebius function is the inverse of the zeta function



Co-authored-by: jalex-stark <alexmaplegm@gmail.com>
@bors
Copy link

bors bot commented Nov 20, 2020

Pull request successfully merged into master.

Build succeeded:

@bors bors bot changed the title feat(number_theory/arithmetic_function): moebius is the inverse of zeta [Merged by Bors] - feat(number_theory/arithmetic_function): moebius is the inverse of zeta Nov 20, 2020
@bors bors bot closed this Nov 20, 2020
@bors bors bot deleted the moebius branch November 20, 2020 07:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@eric-wieser eric-wieser eric-wieser left review comments

@jcommelin jcommelin jcommelin approved these changes

Assignees
No one assigned
Labels
ready-to-merge All that is left is for bors to build and merge this PR. (Remember you need to say `bors r+`.)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@awainverse @eric-wieser @jcommelin @jalex-stark