P
Initializing...
Division by one minus X preserves minimal differential order · Prove2Me