basic): `subgroup_of_self` (#9818)

Commit

4 years ago

feat(group_theory/subgroup/basic): `subgroup_of_self` (#9818) A subgroup is the top subgroup of itself.

Author

tb65536

Parents