The contact-plane path is a smooth path in $SL(2,\mathbb{R})$ (local smoothness version)

Initializing...

The contact-plane path is a smooth path in $SL(2,\mathbb{R})$ (local smoothness version) · Prove2Me