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

• strongly_choquet (x✝ : Inhabited X) : HasWinningStrategyB (strongChoquetGame X)