What does : mean on ProofWiki's page about normal subgroups?

[1MileCrash]

https://proofwiki.org/wiki/Intersection_with_Normal_Subgroup_is_Normal

Here is a very fast proof of a well-known theorem.

What is proofwiki taking ":" to mean? I take : to mean "such that", but it doesn't make any sense that way here.

 

[Danger]

Why is something that looks like a homework help site advertising "5,000+ Thai Women Looking for Love"?

 

[dipole]

It's just breaking up multiple statements. You could simply replace : with a comma or new line character.