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

Add part of sticks and stones (need help with dv condition #4254

Merged
merged 15 commits into from
Oct 2, 2024
Merged

Add part of sticks and stones (need help with dv condition #4254

merged 15 commits into from
Oct 2, 2024

Commits on Sep 27, 2024

  1. Add part of sticks and stones

    @metakunt
    metakunt committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    ab1bb78 View commit details
    Browse the repository at this point in the history

  2. Format

    @metakunt
    metakunt committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    339f1bf View commit details
    Browse the repository at this point in the history

  3. Regen discouraged

    @metakunt
    metakunt committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    3cee380 View commit details
    Browse the repository at this point in the history

  4. Add injectivity

    @metakunt
    metakunt committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    30f9d43 View commit details
    Browse the repository at this point in the history

  5. regen

    @metakunt
    metakunt committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    4db18ed View commit details
    Browse the repository at this point in the history

  6. typo

    @metakunt
    metakunt committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    c030ed4 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2024

  1. Add equinumerosity lemma

    @metakunt
    metakunt committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    8cfed8c View commit details
    Browse the repository at this point in the history

  2. Fix whitespace

    @metakunt
    metakunt committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    d1cfe60 View commit details
    Browse the repository at this point in the history

  3. inc functions cardinality

    @metakunt
    metakunt committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    33ac48f View commit details
    Browse the repository at this point in the history

  4. fix typo

    @metakunt
    metakunt committed Sep 28, 2024
    Configuration menu
    Copy the full SHA
    41c0626 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2024

  1. Generalise proofs on nn0 instead of nn

    @metakunt
    metakunt committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    dbe9e70 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Merge branch 'develop' into ststone

    @metakunt
    metakunt authored Oct 1, 2024
    Configuration menu
    Copy the full SHA
    88cbe7f View commit details
    Browse the repository at this point in the history

  2. remove discouraged frome abeq2

    @metakunt
    metakunt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    696a405 View commit details
    Browse the repository at this point in the history

  3. more closure properties

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

  4. typo

    @metakunt
    metakunt committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    957894b View commit details
    Browse the repository at this point in the history