The query [[Fact about.Page::CDIN-subgroup]] [[Category:Subgroup property implications]] was answered by the SMWSQLStore3 in 0.0103 seconds.
[[Fact about.Page::CDIN-subgroup]] [[Category:Subgroup property implications]]
SMWSQLStore3
CDIN of conjugacy-closed implies CDIN, Characteristic of CDIN implies CDIN, Sylow and TI implies CDIN