Awesome

lie_grp_diffeo

Diffeomorphisms based on lie groups