fixed the condition on $A\subset X$: it needs to be a (closed) sub-$G$-space of $X$, not necessarily a subspace of $X^G$

(Palais60 and Lashof81 and many other authors say “invariant subspace”, which is ambiguous – but checking in Jaworowski clarifies it)

]]>have further expanded out the statement of the “Jaworowski extension theorem” (here), following Lashof.

]]>added statement of other/more general conditions for the equivariant extension to exist (from Jaworowski 76, Lashof 81):

the ambient domain G-space $X$ is

finite-dimensional (?)

with a finite number of orbit types.

- for every $G$-orbit type $(H)$ in the complement $X \setminus A$ the fixed locus $E^H$ is an absolute neighbourhood retract.

]]>

added statement of the basic Tietze-Gleason extension theorem (here), as in Palais 60, Theorem 1.4.3

]]>stub entry, for the moment just so as to record references

]]>