Is there any reference to the proof of following: let $T$ denote the Lannes functor. Then (see the link above for the notation) $T_EH_E^*(X) = H^*BE \otimes H^*(X^E)$?
Fixed points cohomology via Lannes T-functor
Vanya Karpov
- 153
- 4