maximal compact subalgebra

URI: https://gptkb.org/prop/maximal_compact_subalgebra
1 triples
GPTKB property
Random triples
Subject Object
gptkb:E_8_(split_real_form_Lie_algebra) so(16)