Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

feat(order/well_founded): well_founded_lt.has_min, etc. #18751

Draft
wants to merge 6 commits into
base: master
Choose a base branch
from
Draft

feat(order/well_founded): well_founded_lt.has_min, etc. #18751

wants to merge 6 commits into from

Commits on Apr 6, 2023

  1. cleanup

    @vihdzp
    vihdzp committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    3ba74c2 View commit details
    Browse the repository at this point in the history

  2. Update well_founded.lean

    @vihdzp
    vihdzp committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    e2095ce View commit details
    Browse the repository at this point in the history

  3. these are all automatically inferred

    @vihdzp
    vihdzp committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    07c4504 View commit details
    Browse the repository at this point in the history

  4. add better has_min

    @vihdzp
    vihdzp committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    1dc2f42 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'wf_cleanup_1' into wf_has_min

    @vihdzp
    vihdzp committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    be1b026 View commit details
    Browse the repository at this point in the history

  6. break symmetry

    @vihdzp
    vihdzp committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    88b2a9a View commit details
    Browse the repository at this point in the history