For complete `R`, there is a unique surface function whose Čech images are the glued generator pairs at every level.

Initializing...

For complete `R`, there is a unique surface function whose Čech images are the glued generator pairs at every level. · Prove2Me