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