P
Initializing...
D⁺v=0 iff D⁺(Yv)+A(Yv)=0 (pointwise) · Prove2Me