Talk:Subgroup is Superset of Conjugate iff Normal

The proof of Normal Subgroup Test being so much more compact than the one it is to be merged with, I'm unwilling to delete it till it's been looked over carefully to see whether there is material which is taken for granted that needs to be explained carefully. But the result is identical to the one to be merged with. --prime mover (talk) 11:47, 3 February 2013 (UTC)