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

feat(combinatorics/simple_graph/connectivity): number of connected components when deleting edges #17654

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

feat(combinatorics/simple_graph/connectivity): number of connected components when deleting edges #17654

wants to merge 11 commits into from

Commits on Nov 21, 2022

  1. feat(combinatorics/simple_graph/):number of connected components 

    Add definition for number of connected components and then prove that this number either goes up by 1 or is unchanged when an edge is removed, depending on if its in a cycle or not.
    @tjeremie
    tjeremie committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    b51ca84 View commit details
    Browse the repository at this point in the history

  2. Fix style

    @tjeremie
    tjeremie committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    879e1a1 View commit details
    Browse the repository at this point in the history

  3. Fix style (again)

    @tjeremie
    tjeremie committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    afdab72 View commit details
    Browse the repository at this point in the history

  4. Added equivalence between connected and having 1 component

    @tjeremie
    tjeremie committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    07d8318 View commit details
    Browse the repository at this point in the history

  5. Line too long in last commit

    @tjeremie
    tjeremie committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    9b8ea62 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2022

  1. Update src/combinatorics/simple_graph/connectivity.lean 

    Co-authored-by: Kyle Miller <kmill31415@gmail.com>
    @tjeremie @kmill
    tjeremie and kmill committed Nov 26, 2022
    Configuration menu
    Copy the full SHA
    3c6ca2e View commit details
    Browse the repository at this point in the history

  2. Some fixes

    @tjeremie
    tjeremie committed Nov 26, 2022
    Configuration menu
    Copy the full SHA
    d2a1e99 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'graphs_num_comps' of https://github.com/leanprover-comm… 

    …unity/mathlib into graphs_num_comps

Merging suggested edit with local edits
    @tjeremie
    tjeremie committed Nov 26, 2022
    Configuration menu
    Copy the full SHA
    cdf4085 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2022

  1. Finished edits for first round of comments

    @tjeremie
    tjeremie committed Nov 27, 2022
    Configuration menu
    Copy the full SHA
    1983065 View commit details
    Browse the repository at this point in the history

  2. Formatting fixes

    @tjeremie
    tjeremie committed Nov 27, 2022
    Configuration menu
    Copy the full SHA
    c82dc97 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2022

  1. Merge branch 'master' into graphs_num_comps

    @tjeremie
    tjeremie committed Nov 30, 2022
    Configuration menu
    Copy the full SHA
    cc0e402 View commit details
    Browse the repository at this point in the history