Kasparov’s KK-theory
Local proofs for the root decomposition, root arithmetic and Serre presentation used by Lesson 18.