The query [[Uses::Three subgroup lemma]] was answered by the SMWSQLStore3 in 0.0056 seconds.
[[Uses::Three subgroup lemma]]
SMWSQLStore3
Lower central series is strongly central, Normal and centralizer-free implies automorphism-faithful, Normal and self-centralizing implies coprime automorphism-faithful