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

Golf a few proofs #42

Merged
merged 18 commits into from
Aug 15, 2024
Merged

Golf a few proofs #42

merged 18 commits into from
Aug 15, 2024

Commits on Jul 21, 2024

  1. Update ComplexInterpolation.lean

    @pitmonticone
    pitmonticone committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    1d6e2a6 View commit details
    Browse the repository at this point in the history

  2. Update Dual.lean

    @pitmonticone
    pitmonticone committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    31d7fb3 View commit details
    Browse the repository at this point in the history

  3. Update Plancherel.lean

    @pitmonticone
    pitmonticone committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    5b7734b View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2024

  1. Update ComplexInterpolation.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    287ebb9 View commit details
    Browse the repository at this point in the history

  2. Update Dual.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    7f1fdde View commit details
    Browse the repository at this point in the history

  3. Update ComplexInterpolation.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    14bc5fa View commit details
    Browse the repository at this point in the history

  4. Update ComplexInterpolation.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    d0f8797 View commit details
    Browse the repository at this point in the history

  5. Update ComplexInterpolation.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    592707d View commit details
    Browse the repository at this point in the history

  6. Update Dual.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    b0ffa77 View commit details
    Browse the repository at this point in the history

  7. Update Dual.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    f8ae938 View commit details
    Browse the repository at this point in the history

  8. Update Dual.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    467cb1a View commit details
    Browse the repository at this point in the history

  9. Update Dual.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    210e863 View commit details
    Browse the repository at this point in the history

  10. Update Dual.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    4f64a7a View commit details
    Browse the repository at this point in the history

  11. Update Dual.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    01a2162 View commit details
    Browse the repository at this point in the history

  12. Update Dual.lean

    @pitmonticone
    pitmonticone committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    2bdbfde View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Merge branch 'master' into golf-ComplexInterpolation

    @pitmonticone
    pitmonticone authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    4154236 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into golf-ComplexInterpolation

    @pitmonticone
    pitmonticone authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    c9f2cba View commit details
    Browse the repository at this point in the history

  3. Fix minor errors

    @pitmonticone
    pitmonticone committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    8ad2e67 View commit details
    Browse the repository at this point in the history