Commit 2020-06-10 00:06 f1df14c2
View on Github →feat(group_theory/subgroup): normal_closure and gpowers (#2959)
Transfer some more proofs from deprecated/subgroup
feat(group_theory/subgroup): normal_closure and gpowers (#2959)
Transfer some more proofs from deprecated/subgroup