Lie-group representation (source code)

= Lie-group representation

A Lie-group representation is a smooth <group representation> $D:G\to GL(V)$.