A full summary of the work of Voevodsky, Deglise, and Huber-Kahn-Sujartha