Implementation-focused introduction to Lie groups for roboticists - View it on GitHub