lie group

[ریاضیات] گروه لی