This should include the group structure of $SE_2(3)$, along with all relevant quantities needed.
This should include the group structure of$SE_2(3)$ , along with all relevant quantities needed.