Commit 2021-10-20 04:15 9dafdf79
View on Github →feat(group_theory/subgroup/basic): subgroup_of_self (#9818)
A subgroup is the top subgroup of itself.
feat(group_theory/subgroup/basic): subgroup_of_self (#9818)
A subgroup is the top subgroup of itself.