A surface function whose Čech images are the glued generator pairs lies in `(t, x) ^ d`.

Initializing...

A surface function whose Čech images are the glued generator pairs lies in `(t, x) ^ d`. · Prove2Me