Cartan decomposition

GPTKB entity