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(order/complete_lattice): tweak simp lemmas #14918

Closed
wants to merge 13 commits into from
Closed

feat(order/complete_lattice): tweak simp lemmas #14918

wants to merge 13 commits into from

Commits on Jun 24, 2022

  1. tweak simp lemmas

    @vihdzp
    vihdzp committed Jun 24, 2022
    Configuration menu
    Copy the full SHA
    7ba3891 View commit details
    Browse the repository at this point in the history

  2. tweak

    @vihdzp
    vihdzp committed Jun 24, 2022
    Configuration menu
    Copy the full SHA
    4519c27 View commit details
    Browse the repository at this point in the history

  3. ugh

    @vihdzp
    vihdzp committed Jun 24, 2022
    Configuration menu
    Copy the full SHA
    f6ea900 View commit details
    Browse the repository at this point in the history

  4. Update binders.lean

    @vihdzp
    vihdzp committed Jun 24, 2022
    Configuration menu
    Copy the full SHA
    ec432f3 View commit details
    Browse the repository at this point in the history

  5. Update complete_lattice.lean

    @vihdzp
    vihdzp committed Jun 24, 2022
    Configuration menu
    Copy the full SHA
    f6e0ca7 View commit details
    Browse the repository at this point in the history

  6. fix

    @vihdzp
    vihdzp committed Jun 24, 2022
    Configuration menu
    Copy the full SHA
    7f7497a View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2022

  1. Update lattice.lean

    @vihdzp
    vihdzp committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    519c194 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into complete_lattice_simp_tweak

    @vihdzp
    vihdzp committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    02dd0fc View commit details
    Browse the repository at this point in the history

  3. tweak

    @vihdzp
    vihdzp committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    7c406be View commit details
    Browse the repository at this point in the history

  4. Update basic.lean

    @vihdzp
    vihdzp committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    f6411d2 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2022

  1. Update basic.lean

    @vihdzp
    vihdzp committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    b3817e4 View commit details
    Browse the repository at this point in the history

  2. Update ideal.lean

    @vihdzp
    vihdzp committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    0bad2f2 View commit details
    Browse the repository at this point in the history

  3. hope this works

    @vihdzp
    vihdzp committed Jun 30, 2022
    Configuration menu
    Copy the full SHA
    e46c979 View commit details
    Browse the repository at this point in the history