P
Initializing...
Even reflection preserves first-order Sobolev membership, including p = infinity · Prove2Me