P
Initializing...
D⁺v=0 on U iff Yv residual=0 on U (C∞ fields) · Prove2Me