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(Dynamics.TopologicalEntropy.Semiconj): topological entropy and semiconjugacies #17387

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

feat(Dynamics.TopologicalEntropy.Semiconj): topological entropy and semiconjugacies #17387

wants to merge 21 commits into from
+198 −0

Commits on Sep 25, 2024

  1. Add Semiconj

    @D-Thomine
    D-Thomine committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    6cac83a View commit details
    Browse the repository at this point in the history

  2. Update Mathlib.lean

    @D-Thomine
    D-Thomine committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    d03446d View commit details
    Browse the repository at this point in the history

  3. Update Semiconj

    @D-Thomine
    D-Thomine committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    81a401d View commit details
    Browse the repository at this point in the history

  4. Remove linter

    @D-Thomine
    D-Thomine committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    1fd09c7 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Small steps

    @D-Thomine
    D-Thomine committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    88809b9 View commit details
    Browse the repository at this point in the history

  2. Add Semiconj

    @D-Thomine
    D-Thomine committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    48db691 View commit details
    Browse the repository at this point in the history

  3. Update Mathlib.lean

    @D-Thomine
    D-Thomine committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    0062c22 View commit details
    Browse the repository at this point in the history

  4. Update Semiconj

    @D-Thomine
    D-Thomine committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    78bb14d View commit details
    Browse the repository at this point in the history

  5. Remove linter

    @D-Thomine
    D-Thomine committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    86aef04 View commit details
    Browse the repository at this point in the history

  6. Small steps

    @D-Thomine
    D-Thomine committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    49ec75b View commit details
    Browse the repository at this point in the history

  7. Cleaning proofs in TpologicalEntropy/Semiconj

    @D-Thomine
    D-Thomine committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    bc20ea6 View commit details
    Browse the repository at this point in the history

  8. Clean documentation

    @D-Thomine
    D-Thomine committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    c74d1f9 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Provide extensive documentation

    @D-Thomine
    D-Thomine committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    e8fcf43 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into D-Thomine/entropy_semiconj

    @D-Thomine
    D-Thomine committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    0291bc3 View commit details
    Browse the repository at this point in the history

  3. Update wih master and last cleanup

    @D-Thomine
    D-Thomine committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    fc23bd1 View commit details
    Browse the repository at this point in the history

  4. golf

    @pitmonticone
    pitmonticone committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    73f7064 View commit details
    Browse the repository at this point in the history

  5. golf

    @pitmonticone
    pitmonticone committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    26978f8 View commit details
    Browse the repository at this point in the history

  6. golf

    @pitmonticone
    pitmonticone committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    c52fe92 View commit details
    Browse the repository at this point in the history

  7. Update Semiconj.lean

    @pitmonticone
    pitmonticone committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    0baa780 View commit details
    Browse the repository at this point in the history

  8. Update Semiconj.lean

    @pitmonticone
    pitmonticone committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    7417a51 View commit details
    Browse the repository at this point in the history

  9. Update Semiconj.lean

    @pitmonticone
    pitmonticone committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    cca9740 View commit details
    Browse the repository at this point in the history