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(Analysis/SpecialFunctions/Complex/Circle): expMapCircle as a PartialHomeomorph and prove IsLocalHomeomorph #11334

Closed
wants to merge 17 commits into from
Closed

[Merged by Bors] - feat(Analysis/SpecialFunctions/Complex/Circle): expMapCircle as a PartialHomeomorph and prove IsLocalHomeomorph #11334

wants to merge 17 commits into from

Commits on Mar 12, 2024

  1. results

    @tb65536
    tb65536 committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    5473b3a View commit details
    Browse the repository at this point in the history

  2. cleanup

    @tb65536
    tb65536 committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    eb084ff View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2024

  1. temp

    @tb65536
    tb65536 committed Apr 7, 2024
    Configuration menu
    Copy the full SHA
    3461eeb View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. merge

    @tb65536
    tb65536 committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    73d86e7 View commit details
    Browse the repository at this point in the history

  2. proved

    @tb65536
    tb65536 committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    4645a8e View commit details
    Browse the repository at this point in the history

  3. cleanup

    @tb65536
    tb65536 committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    c21c548 View commit details
    Browse the repository at this point in the history

  4. fix imports

    @tb65536
    tb65536 committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    84519cf View commit details
    Browse the repository at this point in the history

  5. fix imports

    @tb65536
    tb65536 committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    bf19c14 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. lint

    @tb65536
    tb65536 committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    ef643ae View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. first round

    @tb65536
    tb65536 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    e70baf7 View commit details
    Browse the repository at this point in the history

  2. second round

    @tb65536
    tb65536 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    150ae4d View commit details
    Browse the repository at this point in the history

  3. third round

    @tb65536
    tb65536 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    10e450a View commit details
    Browse the repository at this point in the history

  4. reorder

    @tb65536
    tb65536 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    e1e882a View commit details
    Browse the repository at this point in the history

  5. avoid change

    @tb65536
    tb65536 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    705adf6 View commit details
    Browse the repository at this point in the history

  6. docstring

    @tb65536
    tb65536 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    9d29371 View commit details
    Browse the repository at this point in the history

  7. docstring

    @tb65536
    tb65536 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    ada10f4 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. simps

    @tb65536
    tb65536 committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    811cd11 View commit details
    Browse the repository at this point in the history