Corollary 8.2.13. We have E⊂CE\subset C and F⊂CF\subset C.
Andrew Manion, Raphael Rouquier
Original source: arXiv:2009.09627v2
Chapter overview
Read the whole chapter