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

• has_closed_retract (A : Set X) : IsRetract A → IsClosed A