P
Initializing...
D⁻v=0 iff D⁻(Xv)-A(Xv)=0 (pointwise) · Prove2Me