is Lie group

URI: https://gptkb.org/prop/is_Lie_group
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Special_linear_group yes
gptkb:symplectic_group_over_rationals true