Solution (source code)

= Solution

\b[True.] If $H$ is an <open subgroup>, every left <coset> $gH$ is open because left translation is a <homeomorphism>. The other cosets partition the complement:
$$
G\setminus H=\bigcup_{g\notin H}gH.
$$
That complement is open, so $H$ is a <closed subgroup>.