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): Mantel's theorem #13758

Closed
wants to merge 10 commits into from
Closed

feat(combinatorics/simple_graph): Mantel's theorem #13758

wants to merge 10 commits into from

Commits on Apr 28, 2022

  1. theorem I.2 of bollobas "modern graph theory"

    @kmill
    kmill committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    6b35170 View commit details
    Browse the repository at this point in the history

  2. I hate type theory

    @ericrbg
    ericrbg committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    ddc671d View commit details
    Browse the repository at this point in the history

  3. lint (copyright, module doc); open finset

    @kmill
    kmill committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    6d86dec View commit details
    Browse the repository at this point in the history

  4. finset.sum cauchy schwarz (thanks Junyan Xu)

    @kmill
    kmill committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    2a61ee9 View commit details
    Browse the repository at this point in the history

  5. card_edge_finset

    @kmill
    kmill committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    eb9fc80 View commit details
    Browse the repository at this point in the history

  6. refinements

    @kmill
    kmill committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    2f623c8 View commit details
    Browse the repository at this point in the history

  7. strengthen trianglefree characterization

    @kmill
    kmill committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    bbea19b View commit details
    Browse the repository at this point in the history

  8. mention name of theorem

    @kmill
    kmill committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    f12d354 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2022

  1. junyuan xu golf

    @kmill
    kmill committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    233106b View commit details
    Browse the repository at this point in the history

  2. lint

    @kmill
    kmill committed Apr 29, 2022
    Configuration menu
    Copy the full SHA
    d208ab7 View commit details
    Browse the repository at this point in the history