Cartan involution

Summary