fixed the condition on : it needs to be a (closed) sub--space of , not necessarily a subspace of
(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):
finite-dimensional (?)
with a finite number of orbit types.
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
]]>