Skip to content

[Merged by Bors] - refactor(Probability/Independence): define independence using kernel independence#6294

Closed
RemyDegenne wants to merge 1 commit intomasterfrom
RD_golf_indep
Closed

[Merged by Bors] - refactor(Probability/Independence): define independence using kernel independence#6294
RemyDegenne wants to merge 1 commit intomasterfrom
RD_golf_indep

Conversation

@RemyDegenne
Copy link
Copy Markdown
Contributor

Independence is the special case of independence with respect to a kernel and a measure where the kernel is constant.


Part of #6098

Open in Gitpod

@RemyDegenne RemyDegenne added awaiting-review t-measure-probability Measure theory / Probability theory labels Aug 2, 2023
@RemyDegenne RemyDegenne changed the title feat(Probability/Independence): define independence using kernel independence refactor(Probability/Independence): define independence using kernel independence Aug 2, 2023
@kex-y
Copy link
Copy Markdown
Member

kex-y commented Aug 2, 2023

LGTM!
maintainer merge

@github-actions
Copy link
Copy Markdown

github-actions bot commented Aug 2, 2023

🚀 Pull request has been placed on the maintainer queue by JasonKYi.

@ocfnash
Copy link
Copy Markdown
Contributor

ocfnash commented Aug 2, 2023

bors merge

@github-actions github-actions bot added ready-to-merge This PR has been sent to bors. and removed awaiting-review labels Aug 2, 2023
bors bot pushed a commit that referenced this pull request Aug 2, 2023
…independence (#6294)

Independence is the special case of independence with respect to a kernel and a measure where the kernel is constant.
@bors
Copy link
Copy Markdown

bors bot commented Aug 2, 2023

Pull request successfully merged into master.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot changed the title refactor(Probability/Independence): define independence using kernel independence [Merged by Bors] - refactor(Probability/Independence): define independence using kernel independence Aug 2, 2023
@bors bors bot closed this Aug 2, 2023
@bors bors bot deleted the RD_golf_indep branch August 2, 2023 16:24
kim-em pushed a commit that referenced this pull request Aug 3, 2023
…independence (#6294)

Independence is the special case of independence with respect to a kernel and a measure where the kernel is constant.
kim-em pushed a commit that referenced this pull request Aug 3, 2023
…independence (#6294)

Independence is the special case of independence with respect to a kernel and a measure where the kernel is constant.
kim-em pushed a commit that referenced this pull request Aug 14, 2023
…independence (#6294)

Independence is the special case of independence with respect to a kernel and a measure where the kernel is constant.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-to-merge This PR has been sent to bors. t-measure-probability Measure theory / Probability theory

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants