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

State and prove Theorem 2.36 #202

Merged
merged 23 commits into from
Oct 7, 2024
Merged

State and prove Theorem 2.36 #202

merged 23 commits into from
Oct 7, 2024

Commits on Oct 2, 2024

  1. state and prove the first half of Theorem 2.36.

    @jscanvic
    jscanvic committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    0e77058 View commit details
    Browse the repository at this point in the history

  2. add the draft for the 2nd half

    @jscanvic
    jscanvic committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    24ede9b View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. prove some of the cases

    @jscanvic
    jscanvic committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    66b8bb8 View commit details
    Browse the repository at this point in the history

  2. define the magma

    @jscanvic
    jscanvic committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    02ecced View commit details
    Browse the repository at this point in the history

  3. change non-negative integers to positive integers

    @jscanvic
    jscanvic committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    cbef740 View commit details
    Browse the repository at this point in the history

  4. prove h2

    @jscanvic
    jscanvic committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    9de4742 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. Merge branch 'main' into theorem2-36

    @jscanvic
    jscanvic committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    021cb99 View commit details
    Browse the repository at this point in the history

  2. prove h3

    @jscanvic
    jscanvic committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    d274f67 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/main' into theorem2-36

    @jscanvic
    jscanvic committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    37688f3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into theorem2-36

    @teorth
    teorth authored Oct 5, 2024
    Configuration menu
    Copy the full SHA
    708ec97 View commit details
    Browse the repository at this point in the history

  5. prove h4

    @jscanvic
    jscanvic committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    082dea1 View commit details
    Browse the repository at this point in the history

  6. reduce the proofs

    @jscanvic
    jscanvic committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    4251124 View commit details
    Browse the repository at this point in the history

  7. prove h5

    @jscanvic
    jscanvic committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    e24f0af View commit details
    Browse the repository at this point in the history

  8. fix the application of h2

    @jscanvic
    jscanvic committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    552c1e1 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2024

  1. prove one of the remaining cases

    @jscanvic
    jscanvic committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    97af486 View commit details
    Browse the repository at this point in the history

  2. prove one of the remaining cases

    @jscanvic
    jscanvic committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    b7d341a View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. prove the last case

    @jscanvic
    jscanvic committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    540026d View commit details
    Browse the repository at this point in the history

  2. dissociate the two equations

    @jscanvic
    jscanvic committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    1e6b402 View commit details
    Browse the repository at this point in the history

  3. fix wrongly resolved merge conflict

    @jscanvic
    jscanvic committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    c785f16 View commit details
    Browse the repository at this point in the history

  4. change equation number

    @jscanvic
    jscanvic committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    8cf8e57 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into theorem2-36

    @jscanvic
    jscanvic authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    dd9f385 View commit details
    Browse the repository at this point in the history

  6. fix equation numbers

    @jscanvic
    jscanvic committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    d8ddb54 View commit details
    Browse the repository at this point in the history

  7. fix reference

    @jscanvic
    jscanvic committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    f4370c2 View commit details
    Browse the repository at this point in the history