Apply suggestions from code review

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>

Author: felixpernegger

properties/P000233.md

@@ -13,11 +13,13 @@ Every path component of $X$ is open.
 
 This is equivalent to each of the following:
 
-* $X$ is *weakly locally path connected at $x$* for every $x\in X$;
-that is, each $x$ has an open path connected neighborhood.
+* Each point $x\in X$ has a path connected neighborhood.
 
-* $X$ is *weakly locally path connected im kleinen at $x$* for every $x\in X$;
-that is, each $x$ has a path connected neighborhood.
+* Each point $x\in X$ has an open path connected neighborhood.
+
+* $X$ is a topological disjoint union of {P37} spaces.
+
+The equivalence between the various conditions can be shown by arguments similar to those used in the definition of {P42}, in particular {{mathse:3002235}}.
 
 This property is called *PCGS* in {{zb:0451.54017}}.
 

theorems/T000095.md

@@ -8,4 +8,4 @@ then:
   P000037: true
 ---
 
-Path components are both open and closed.
+All path components of $X$ are open, hence also clopen.