is a composition factor of every non-solvable finite group

URI: https://gptkb.org/prop/is_a_composition_factor_of_every_non-solvable_finite_group
1 triples
GPTKB property
Random triples
Subject Object
gptkb:alternating_group_A_n_(for_n_>_2) true