Kasparov’s KK-theory

Supporting Lie-algebra proofs

Local proofs for the root decomposition, root arithmetic and Serre presentation used by Lesson 18.