mathlib
f24918e0 - refactor(group_theory/solvable): Golf some proofs (#13256)

Commit

3 years ago

refactor(group_theory/solvable): Golf some proofs (#13256) This PR golfs some proofs in `group_theory/solvable.lean`.

Author

tb65536

Parents