mathlib3
591ff3a5 - feat(group_theory/subgroup): Subgroup of subgroup is isomorphic to itself (#9204)

Commit

4 years ago

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`.

Author

tb65536

Parents