From the Basic Homotopy Lemma to the Classification Of $C^*$-Algebras | lit.salon