real Lie group

1. REDIRECT Lie group

{{Redirect category shell|

{{R from subtopic}}

}}