finite-dimensional Lie groups

GPTKB entity