,"Difficulty level","Fact about"
"CDIN of conjugacy-closed implies CDIN",,"Composition operator; ?,CDIN-subgroup; ?,Conjugacy-closed subgroup; ?,Conjugacy-closed subgroup; 2,Right-transitively CDIN-subgroup; 2"
"Characteristic of CDIN implies CDIN",,"Composition operator; ?,Characteristic subgroup; ?,CDIN-subgroup; ?,Characteristic subgroup; 2,Left-transitively CDIN-subgroup; 2"
"Sylow and TI implies CDIN",,"Sylow TI-subgroup; 2,CDIN-subgroup; 2,TI-subgroup; ?"
"Sylow not implies CDIN",,"Sylow subgroup; 2,CDIN-subgroup; 2"