class PiBase.WSpace (X : Type u) [TopologicalSpace X] : Prop

• w_space (x : X) : HasWinningStrategyA (wGame x)