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/special_functions/pow, set_theory/*): positivity extension for powers #16462

Closed
wants to merge 10 commits into from
Closed

[Merged by Bors] - feat(analysis/special_functions/pow, set_theory/*): positivity extension for powers #16462

wants to merge 10 commits into from

Commits on Sep 11, 2022

  1. initial commit

    @YaelDillies
    YaelDillies committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    d90bcb1 View commit details
    Browse the repository at this point in the history

  2. positivity_zpow

    @YaelDillies
    YaelDillies committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    db0bfb9 View commit details
    Browse the repository at this point in the history

  3. fix number_theory.frobenius_number

    @YaelDillies
    YaelDillies committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    135c9e0 View commit details
    Browse the repository at this point in the history

  4. fix tests

    @YaelDillies
    YaelDillies committed Sep 11, 2022
    Configuration menu
    Copy the full SHA
    58397da View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2022

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

    @YaelDillies
    YaelDillies committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    f8377b9 View commit details
    Browse the repository at this point in the history

  2. add todo

    @YaelDillies
    YaelDillies committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    8aed16e View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2022

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

    @YaelDillies
    YaelDillies committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    7541511 View commit details
    Browse the repository at this point in the history

  2. merge extensions

    @YaelDillies
    YaelDillies committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    7da4a4e View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into positivity_pow

    @YaelDillies
    YaelDillies committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    a9b4eff View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2022

  1. open_locale nnrat

    @YaelDillies
    YaelDillies committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    9e9ef76 View commit details
    Browse the repository at this point in the history