Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_solvable_of_top_eq_bot

Modification history

2021-01-07 19:12
src/group_theory/solvable.lean
feat(group_theory): add lemmas on solvability (#5646) …
Added is_solvable_of_top_eq_botView on Github →