class PiBase.HomogeneousSpace (X : Type u_1) [TopologicalSpace X] : Prop

• homogeneous (x y : X) : ∃ (f : X ≃ₜ X), f x = y