Commit 2022-10-01 18:32 d638c7f7
View on Github →feat(group_theory/subgroup/basic): If H is commutative, then H ≤ H.centralizer (#16718)
If H is commutative, then H ≤ H.centralizer.
feat(group_theory/subgroup/basic): If H is commutative, then H ≤ H.centralizer (#16718)
If H is commutative, then H ≤ H.centralizer.