Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Merged by Bors] - feat: Minkowski Convex Body Theorem for compact convex body #8274

Closed
wants to merge 11 commits into from
Closed

[Merged by Bors] - feat: Minkowski Convex Body Theorem for compact convex body #8274

wants to merge 11 commits into from

Conversation

xroblot
Copy link
Collaborator

@xroblot xroblot commented Nov 8, 2023 •
edited

@xroblot xroblot added WIP Work in progress t-measure-probability Measure theory / Probability theory labels Nov 8, 2023
@xroblot xroblot added awaiting-review The author would like community review of the PR and removed WIP Work in progress labels Nov 8, 2023
@sgouezel sgouezel added awaiting-author A reviewer has asked the author a question or requested changes and removed awaiting-review The author would like community review of the PR labels Nov 8, 2023
@xroblot xroblot added awaiting-review The author would like community review of the PR and removed awaiting-author A reviewer has asked the author a question or requested changes labels Nov 9, 2023
@sgouezel sgouezel added awaiting-author A reviewer has asked the author a question or requested changes and removed awaiting-review The author would like community review of the PR labels Nov 9, 2023
@leanprover-community-mathlib4-bot leanprover-community-mathlib4-bot added the blocked-by-other-PR This PR depends on another PR which is still in the queue. label Nov 9, 2023
@leanprover-community-mathlib4-bot leanprover-community-mathlib4-bot removed the blocked-by-other-PR This PR depends on another PR which is still in the queue. label Nov 9, 2023
@leanprover-community-mathlib4-bot
Copy link
Collaborator

This PR/issue depends on:

@xroblot xroblot added awaiting-review The author would like community review of the PR and removed awaiting-author A reviewer has asked the author a question or requested changes labels Nov 9, 2023
@sgouezel
Copy link
Contributor

bors r+
Thanks!

@github-actions github-actions bot added ready-to-merge This PR has been sent to bors. and removed awaiting-review The author would like community review of the PR labels Nov 10, 2023
mathlib-bors bot pushed a commit that referenced this pull request Nov 10, 2023
@xroblot
feat: Minkowski Convex Body Theorem for compact convex body (#8274)
b0bb59c
@mathlib-bors
Copy link

mathlib-bors bot commented Nov 10, 2023

Pull request successfully merged into master.

Build succeeded:

@mathlib-bors mathlib-bors bot changed the title feat: Minkowski Convex Body Theorem for compact convex body [Merged by Bors] - feat: Minkowski Convex Body Theorem for compact convex body Nov 10, 2023
@mathlib-bors mathlib-bors bot closed this Nov 10, 2023
@mathlib-bors mathlib-bors bot deleted the xfr-minkowski_compact branch November 10, 2023 19:11
grunweg pushed a commit that referenced this pull request Dec 15, 2023
@xroblot @grunweg
feat: Minkowski Convex Body Theorem for compact convex body (#8274)
3047f59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sgouezel sgouezel sgouezel left review comments

@github-actions github-actions[bot] github-actions left review comments

Assignees
No one assigned
Labels
ready-to-merge This PR has been sent to bors. t-measure-probability Measure theory / Probability theory
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@xroblot @leanprover-community-mathlib4-bot @sgouezel