P
Initializing...
Every C^∞ direction is realised by a genuine local straight-line family · Prove2Me