mathlib3

2894260b - feat(group_theory): add lemmas on solvability (#5646)

feat(group_theory): add lemmas on solvability (#5646) Proves some basic lemmas about solvable groups: the subgroup of a solvable group is solvable, a quotient of a solvable group is solvable.