On the structure of the minimum time function
On the minimum time function around the origin