Commit 2021-10-25 06:51 41b90d7a
View on Github →feat(group_theory/index): Second isomorphism theorem in terms of relindex
(#9915)
Restates the second isomorphism theorem in terms of relindex
.
feat(group_theory/index): Second isomorphism theorem in terms of relindex
(#9915)
Restates the second isomorphism theorem in terms of relindex
.