P
Initializing...
A zero transverse wall stays zero through the canonical finite tail · Prove2Me