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

[Merged by Bors] - feat(topology/algebra/module/basic): continuous linear maps are automatically uniformly continuous #13276

Closed
wants to merge 12 commits into from
Closed

[Merged by Bors] - feat(topology/algebra/module/basic): continuous linear maps are automatically uniformly continuous #13276

wants to merge 12 commits into from

Commits on Apr 9, 2022

  1. Apply morphism refactor to uniform_group

    @ADedecker
    ADedecker committed Apr 9, 2022
    Configuration menu
    Copy the full SHA
    1f562bc View commit details
    Browse the repository at this point in the history

  2. Fix removed doc

    @ADedecker
    ADedecker committed Apr 9, 2022
    Configuration menu
    Copy the full SHA
    3057799 View commit details
    Browse the repository at this point in the history

  3. Line

    @ADedecker
    ADedecker committed Apr 9, 2022
    Configuration menu
    Copy the full SHA
    4b44ec7 View commit details
    Browse the repository at this point in the history

  4. First part

    @ADedecker
    ADedecker committed Apr 9, 2022
    Configuration menu
    Copy the full SHA
    26aa0fa View commit details
    Browse the repository at this point in the history

  5. Long line

    @ADedecker
    ADedecker committed Apr 9, 2022
    Configuration menu
    Copy the full SHA
    21d9d76 View commit details
    Browse the repository at this point in the history

  6. Finished

    @ADedecker
    ADedecker committed Apr 9, 2022
    Configuration menu
    Copy the full SHA
    7d40c13 View commit details
    Browse the repository at this point in the history

  7. Remove old versions

    @ADedecker
    ADedecker committed Apr 9, 2022
    Configuration menu
    Copy the full SHA
    8324a01 View commit details
    Browse the repository at this point in the history

  8. Long line

    @ADedecker
    ADedecker committed Apr 9, 2022
    Configuration menu
    Copy the full SHA
    f5ed7a9 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2022

  1. Merge remote-tracking branch 'origin/master' into AD_clm_uniform_cont… 

    …inuous
    @ADedecker
    ADedecker committed Apr 12, 2022
    Configuration menu
    Copy the full SHA
    2820505 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2022

  1. Remove unused arguments

    @ADedecker
    ADedecker committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    b134afb View commit details
    Browse the repository at this point in the history

  2. Long line

    @ADedecker
    ADedecker committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    80ea492 View commit details
    Browse the repository at this point in the history

  3. Duplicate args

    @ADedecker
    ADedecker committed Apr 13, 2022
    Configuration menu
    Copy the full SHA
    8dc031a View commit details
    Browse the repository at this point in the history