P
Initializing...
The derivative of the flat extension is the flat extension of the derivative · Prove2Me