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

feat(algebra/module): Add Jordan-Hölders lattice for modules #17226

Closed
wants to merge 4 commits into from
Closed

feat(algebra/module): Add Jordan-Hölders lattice for modules #17226

wants to merge 4 commits into from

Commits on Oct 28, 2022

  1. add jordan holders for modules

    @MadPidgeon
    MadPidgeon committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    1e7a3c6 View commit details
    Browse the repository at this point in the history

  2. golf

    @MadPidgeon
    MadPidgeon committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    96edf58 View commit details
    Browse the repository at this point in the history

  3. undo oopsie

    @MadPidgeon
    MadPidgeon committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    5e1d911 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2022

  1. replace is_maximal by covby, apply style guide

    @MadPidgeon
    MadPidgeon committed Oct 30, 2022
    Configuration menu
    Copy the full SHA
    27f1434 View commit details
    Browse the repository at this point in the history