mathlib
e4f93e6f - feat(group_theory/solvable): Golf some proofs (#13271)

Commit

3 years ago

feat(group_theory/solvable): Golf some proofs (#13271) This PR uses `solvable_of_ker_le_range` to golf some proofs.

Author

tb65536

Parents