Is there any reference to the proof of following: let $T$ denote the[ Lannes functor.][1] Then (see the link above for the notation) $T_EH_E^*(X) = H^*BE \otimes H^*(X^E)$?


  [1]: https://encyclopediaofmath.org/wiki/Lannes-T-functor