P
Initializing...
D⁻(X⁻¹u)=0 iff D⁻u - Au=0 · Prove2Me