Commit 2021-09-15 02:43 591ff3a5
View on Github →feat(group_theory/subgroup): Subgroup of subgroup is isomorphic to itself (#9204)
If H ≤ K
, then H
as a subgroup of K
is isomorphic to H
.
feat(group_theory/subgroup): Subgroup of subgroup is isomorphic to itself (#9204)
If H ≤ K
, then H
as a subgroup of K
is isomorphic to H
.