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: add a version of Ideal.associatesEquivIsPrincipal for generators that are non-zero-divisors #12780

Closed
wants to merge 13 commits into from
Closed

[Merged by Bors] - feat: add a version of Ideal.associatesEquivIsPrincipal for generators that are non-zero-divisors #12780

wants to merge 13 commits into from

Commits on May 25, 2024

  1. New version

    @xroblot
    xroblot committed May 25, 2024
    Configuration menu
    Copy the full SHA
    712fde3 View commit details
    Browse the repository at this point in the history

  2. New version

    @xroblot
    xroblot committed May 25, 2024
    Configuration menu
    Copy the full SHA
    d372603 View commit details
    Browse the repository at this point in the history

  3. Docstring

    @xroblot
    xroblot committed May 25, 2024
    Configuration menu
    Copy the full SHA
    de6387c View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

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

    …rincipal_step2
    @xroblot
    xroblot committed May 30, 2024
    Configuration menu
    Copy the full SHA
    39cf67e View commit details
    Browse the repository at this point in the history

  2. Review

    @xroblot
    xroblot committed May 30, 2024
    Configuration menu
    Copy the full SHA
    d9ba976 View commit details
    Browse the repository at this point in the history

  3. Better def

    @xroblot
    xroblot committed May 30, 2024
    Configuration menu
    Copy the full SHA
    1b10e1d View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/xfr-split_ideal_isprincipal_step… 

    …2' into xfr-isprincipalequiv_nzd
    @xroblot
    xroblot committed May 30, 2024
    Configuration menu
    Copy the full SHA
    1e5730b View commit details
    Browse the repository at this point in the history

  5. Add span_singleton_nonZeroDivisors

    @xroblot
    xroblot committed May 30, 2024
    Configuration menu
    Copy the full SHA
    5476d7d View commit details
    Browse the repository at this point in the history

  6. small golf

    @xroblot
    xroblot committed May 30, 2024
    Configuration menu
    Copy the full SHA
    7efd44c View commit details
    Browse the repository at this point in the history

  7. open Associates

    @xroblot
    xroblot committed May 30, 2024
    Configuration menu
    Copy the full SHA
    538711c View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'origin/master' into xfr-isprincipalequi… 

    …v_nzd
    @xroblot
    xroblot committed May 30, 2024
    Configuration menu
    Copy the full SHA
    2698c12 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Remove nontrivial

    @xroblot
    xroblot committed May 31, 2024
    Configuration menu
    Copy the full SHA
    c37ba61 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

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

    …v_nzd
    @xroblot
    xroblot committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    5efc615 View commit details
    Browse the repository at this point in the history