We are trying to build towards the result that E-localizations always exist. A crucial part of this is the second lemma in this video, which is lemma 2.4 in the nLab. The nLab doesn't provide a proof, but references two other papers that do (one being the original source).
**Credits**
References:
https://ncatlab.org/nlab/show/Bousfield+localization+of+spectra
https://ncatlab.org/nlab/files/VanKoughnettLocalization.pdf
https://www.uio.no/studier/emner/matnat/math/MAT9580/v12/undervisningsmateriale/bousfield-topology-1979.pdf
Other:
I use a modified version of 3B1B's animation library manim:
https://github.com/treemcgee42/youtube
