A continuous group is a lie group.


source
jl@crush.caltech.edu index
group_generation
compact_group
lie_algebra
irreducible
lie_group
volume