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.

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

[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

Commits on May 25, 2024

  1. New version

    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 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 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. Configuration menu
    Copy the full SHA
    39cf67e View commit details
    Browse the repository at this point in the history
  2. Review

    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 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 committed May 30, 2024
    Configuration menu
    Copy the full SHA
    1e5730b View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    5476d7d View commit details
    Browse the repository at this point in the history
  6. small golf

    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 committed May 30, 2024
    Configuration menu
    Copy the full SHA
    538711c View commit details
    Browse the repository at this point in the history
  8. 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 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. Configuration menu
    Copy the full SHA
    5efc615 View commit details
    Browse the repository at this point in the history