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] - refactor(Probability/Kernel/CondCdf): mv some theorems #10036

Closed
wants to merge 4 commits into from
Closed

[Merged by Bors] - refactor(Probability/Kernel/CondCdf): mv some theorems #10036

wants to merge 4 commits into from

Commits on Jan 26, 2024

  1. chore(Probability/Kernel/CondCdf): mv some theorems

    @mo271
    mo271 committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    d719abc View commit details
    Browse the repository at this point in the history

  2. Update Mathlib/Probability/Kernel/CondCdf.lean

    @mo271
    mo271 committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    9f27b53 View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2024

  1. Merge branch 'master' into mo271/mv_from_prob_kernel

    @mo271
    mo271 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    0b9169b View commit details
    Browse the repository at this point in the history

  2. add sections

    @mo271
    mo271 committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    5d5226c View commit details
    Browse the repository at this point in the history