Commit 2021-10-04 09:48 8a05dca7
View on Github →feat(order/jordan_holder): Jordan Hölder theorem (#8976) The Jordan Hoelder theorem proved for a Jordan Hölder lattice, instances of which include submodules of a module and subgroups of a group.
feat(order/jordan_holder): Jordan Hölder theorem (#8976) The Jordan Hoelder theorem proved for a Jordan Hölder lattice, instances of which include submodules of a module and subgroups of a group.