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.