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

feat(SetTheory/Ordinal/Basic): recursion on well-orders #19678

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

feat(SetTheory/Ordinal/Basic): recursion on well-orders #19678

wants to merge 12 commits into from
+46 −0

Commits on Oct 25, 2024

  1. test

    @vihdzp
    vihdzp committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    28ed584 View commit details
    Browse the repository at this point in the history

  2. test

    @vihdzp
    vihdzp committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    bd8929f View commit details
    Browse the repository at this point in the history

  3. Update Basic.lean

    @vihdzp
    vihdzp committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    f17a580 View commit details
    Browse the repository at this point in the history

  4. Update Basic.lean

    @vihdzp
    vihdzp committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    d410c53 View commit details
    Browse the repository at this point in the history

  5. Update Basic.lean

    @vihdzp
    vihdzp committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    3774959 View commit details
    Browse the repository at this point in the history

  6. Update Basic.lean

    @vihdzp
    vihdzp committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    8a2b689 View commit details
    Browse the repository at this point in the history

  7. test

    @vihdzp
    vihdzp committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    b2afb93 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2024

  1. Merge branch 'master' into vi.liftLinear

    @vihdzp
    vihdzp committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    a9710e5 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2024

  1. Merge branch 'master' into vi.liftLinear

    @vihdzp
    vihdzp committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    ea7ecf3 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2024

  1. Merge branch 'vi.liftLinear' into vi.liftOn

    @vihdzp
    vihdzp committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    a209409 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into vi.liftOn

    @vihdzp
    vihdzp committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    9f6f71a View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into vi.liftOn

    @vihdzp
    vihdzp committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    6b388ce View commit details
    Browse the repository at this point in the history