Matrix Lie group (source code)

= Matrix Lie group

This important and common simple case has easy properties.