Revision #2713 → #3246 · back to history
modifiedAbelian groups are solvablef6fde8eddea3
| Field | From #2713 | To #3246 |
|---|
| mathlib.decl | CommGroup.isSolvable | Group.instIsSolvable |
| provenance | ai | ai-moderated |
modifiedSubgroup of solvable is solvable3a0113e5dbe1
| Field | From #2713 | To #3246 |
|---|
| mathlib.decl | subgroup_solvable_of_solvable | Group.instIsSolvableSubtypeMemSubgroup |
| provenance | ai | ai-moderated |
modifiedDirect product of solvable is solvable4b6138a187a7
| Field | From #2713 | To #3246 |
|---|
| mathlib.decl | solvable_prod | Group.instIsSolvableProd |
| provenance | ai | ai-moderated |