,Uses,"Fact about"
"CDIN of conjugacy-closed implies CDIN",,"Composition operator; ?,CDIN-subgroup; ?,Conjugacy-closed subgroup; ?,Conjugacy-closed subgroup; 2,Right-transitively CDIN-subgroup; 2"
"Conjugacy-closed implies focal subgroup equals derived subgroup",,"Conjugacy-closed subgroup; 2,Subgroup whose focal subgroup equals its derived subgroup; 2,Focal subgroup of a subgroup; ?,Derived subgroup; ?"
"Conjugacy-closedness is transitive",,"Conjugacy-closed subgroup; 1,Transitive subgroup property; 2"