Commit 2021-06-15 03:22 a83f2c26
View on Github →feat(group_theory/order_of_element): Power of subset is subgroup (#7915)
If S is a nonempty subset of G, then S ^ |G| is a subgroup of G.
feat(group_theory/order_of_element): Power of subset is subgroup (#7915)
If S is a nonempty subset of G, then S ^ |G| is a subgroup of G.