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(geometry/euclidean/ceva) : Ceva's Theorem, problem 61 on Freek's list #10632

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

feat(geometry/euclidean/ceva) : Ceva's Theorem, problem 61 on Freek's list #10632

wants to merge 22 commits into from

Commits on Nov 7, 2021

  1. initial lemma

    @MantasBaksys
    MantasBaksys committed Nov 7, 2021
    Configuration menu
    Copy the full SHA
    068c8e0 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2021

  1. update

    @MantasBaksys
    MantasBaksys committed Nov 17, 2021
    Configuration menu
    Copy the full SHA
    0880fdd View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2021

  1. Update Ceva's Theorem.lean

    @MantasBaksys
    MantasBaksys committed Nov 20, 2021
    Configuration menu
    Copy the full SHA
    e3dcb00 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2021

  1. Update Ceva's Theorem.lean

    @MantasBaksys
    MantasBaksys committed Dec 1, 2021
    Configuration menu
    Copy the full SHA
    faa305a View commit details
    Browse the repository at this point in the history

  2. update

    @MantasBaksys
    MantasBaksys committed Dec 1, 2021
    Configuration menu
    Copy the full SHA
    86bc259 View commit details
    Browse the repository at this point in the history

  3. Update ceva_theorem.lean

    @MantasBaksys
    MantasBaksys committed Dec 1, 2021
    Configuration menu
    Copy the full SHA
    f4a8081 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2021

  1. Merge branch 'master' of https://github.com/leanprover-community/mathlib 

     into ceva-theorem
    @MantasBaksys
    MantasBaksys committed Dec 2, 2021
    Configuration menu
    Copy the full SHA
    9179fcb View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2021

  1. bump mathlib and refactor

    @MantasBaksys
    MantasBaksys committed Dec 4, 2021
    Configuration menu
    Copy the full SHA
    93a5b58 View commit details
    Browse the repository at this point in the history

  2. finish permutation proof

    @MantasBaksys
    MantasBaksys committed Dec 4, 2021
    Configuration menu
    Copy the full SHA
    43bd0b2 View commit details
    Browse the repository at this point in the history

  3. Update ceva_theorem.lean

    @MantasBaksys
    MantasBaksys committed Dec 4, 2021
    Configuration menu
    Copy the full SHA
    d010bff View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2021

  1. full proof

    @MantasBaksys
    MantasBaksys committed Dec 5, 2021
    Configuration menu
    Copy the full SHA
    755fca4 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2021

  1. proof golf + docstring

    @MantasBaksys
    MantasBaksys committed Dec 6, 2021
    Configuration menu
    Copy the full SHA
    9b01982 View commit details
    Browse the repository at this point in the history

  2. fix docstring

    @MantasBaksys
    MantasBaksys committed Dec 6, 2021
    Configuration menu
    Copy the full SHA
    06467ef View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2022

  1. Merge remote-tracking branch 'origin/master' into ceva-theorem

    @YaelDillies
    YaelDillies committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    9beb790 View commit details
    Browse the repository at this point in the history

  2. rename

    @YaelDillies
    YaelDillies committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    8ee725f View commit details
    Browse the repository at this point in the history

  3. golf, reduce assumptions

    @YaelDillies
    YaelDillies committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    8bba30e View commit details
    Browse the repository at this point in the history

  4. move affine_basis.interior_coord_pos, update 100.yaml

    @YaelDillies
    YaelDillies committed Jan 5, 2022
    Configuration menu
    Copy the full SHA
    5aaec11 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2023

  1. Merge remote-tracking branch 'origin/master' into ceva-theorem

    @YaelDillies
    YaelDillies committed Jan 15, 2023
    Configuration menu
    Copy the full SHA
    b95feb6 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2023

  1. affine_basis.reindex API

    @YaelDillies
    YaelDillies committed Jan 16, 2023
    Configuration menu
    Copy the full SHA
    9ed4cf2 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2023

  1. Merge remote-tracking branch 'origin/master' into ceva-theorem

    @YaelDillies
    YaelDillies committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    2a9ad73 View commit details
    Browse the repository at this point in the history

  2. reduce diff

    @YaelDillies
    YaelDillies committed Feb 1, 2023
    Configuration menu
    Copy the full SHA
    0d2d790 View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2023

  1. bump

    @YaelDillies
    YaelDillies committed Feb 5, 2023
    Configuration menu
    Copy the full SHA
    ae845de View commit details
    Browse the repository at this point in the history