P

Initializing...

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